Gecode::Set::Distinct::Distinct Class Reference
[Set propagators]
#include <distinct.hh>
Inherits Gecode::NaryPropagator< SetView, PC_SET_ANY >.
Detailed Description
Propagator for the nary distinct constraint with fixed cardinalitiesRequires
#include "gecode/set/distinct.hh"
Definition at line 67 of file distinct.hh.
Public Member Functions  
virtual Actor *  copy (Space *home, bool) 
Copy propagator during cloning.  
virtual ExecStatus  propagate (Space *home) 
Perform propagation.  
virtual size_t  dispose (Space *home) 
Delete propagator and return its size.  
Static Public Member Functions  
static ExecStatus  post (Space *home, ViewArray< SetView > x, unsigned int c) 
Post propagator for and .  
Protected Member Functions  
Distinct (Space *home, bool share, Distinct &p)  
Constructor for cloning p.  
Distinct (Space *home, ViewArray< SetView > &, unsigned int)  
Constructor for posting.  
Protected Attributes  
Binomial  bin 
Binomial coefficients table.  
unsigned int  c 
Cardinality of the sets. 
Constructor & Destructor Documentation

Constructor for cloning p.
Definition at line 34 of file distinct.icc. 

Constructor for posting.
Definition at line 30 of file distinct.icc. 
Member Function Documentation

Copy propagator during cloning.
Implements Gecode::Actor. Definition at line 59 of file distinct.cc. 

Perform propagation.
Implements Gecode::Propagator. Definition at line 64 of file distinct.cc. 

Post propagator for and .
Definition at line 40 of file distinct.icc. 

Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< SetView, PC_SET_ANY >. Definition at line 51 of file distinct.icc. 
Member Data Documentation

Binomial coefficients table.
Definition at line 71 of file distinct.hh. 

Cardinality of the sets.
Definition at line 73 of file distinct.hh. 
The documentation for this class was generated from the following files:
 gecode/set/distinct.hh (Revision: 3304)
 gecode/set/distinct/distinct.cc (Revision: 3188)
 gecode/set/distinct/distinct.icc (Revision: 3304)