Gecode::SetVar Class Reference
[Set variables]
List of all members.Detailed Description
Set variables
Definition at line 663 of file var.icc.
Constructors and initialization | |
SetVar (void) | |
Default constructor. | |
SetVar (Space *home) | |
Initialize variable with empty greatest lower and full least upper bound. | |
void | init (Space *home) |
Initialize variable with empty greatest lower and full least upper bound. | |
SetVar (Space *home, int glbMin, int glbMax, int lubMin, int lubMax, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) | |
Initialize variable with given bounds and cardinality. | |
void | init (Space *home, int glbMin, int glbMax, int lubMin, int lubMax, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) |
Initialize variable with given bounds and cardinality. | |
SetVar (Space *home, const IntSet &glbD, int lubMin, int lubMax, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) | |
Initialize variable with given bounds and cardinality. | |
void | init (Space *home, const IntSet &glbD, int lubMin, int lubMax, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) |
Initialize variable with given bounds and cardinality. | |
SetVar (Space *home, int glbMin, int glbMax, const IntSet &lubD, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) | |
Initialize variable with given bounds and cardinality. | |
void | init (Space *home, int glbMin, int glbMax, const IntSet &lubD, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) |
Initialize variable with given bounds and cardinality. | |
SetVar (Space *home, const IntSet &glbD, const IntSet &lubD, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) | |
Initialize variable with given bounds and cardinality. | |
void | init (Space *home, const IntSet &glbD, const IntSet &lubD, unsigned int cardMin=0, unsigned int cardMax=Limits::Set::card_max) |
Initialize variable with given bounds and cardinality. | |
Variable implementation access | |
Set::SetVarImp * | variable (void) const |
Return set variable implementation. | |
Value access | |
unsigned int | glbSize (void) const |
Return number of elements in the greatest lower bound. | |
unsigned int | lubSize (void) const |
Return number of elements in the least upper bound. | |
unsigned int | unknownSize (void) const |
Return number of unknown elements (elements in lub but not in glb). | |
unsigned int | cardMin (void) const |
Return cardinality minimum. | |
unsigned int | cardMax (void) const |
Return cardinality maximum. | |
int | lubMin (void) const |
Return minimum element of least upper bound. | |
int | lubMax (void) const |
Return maximum element of least upper bound. | |
int | glbMin (void) const |
Return minimum element of greatest lower bound. | |
int | glbMax (void) const |
Return maximum of greatest lower bound. | |
Domain tests | |
bool | contains (int i) const |
Test whether i is in greatest lower bound. | |
bool | notContains (int i) const |
Test whether i is not in the least upper bound. | |
bool | assigned (void) const |
Test whether this variable is assigned. | |
Cloning | |
void | update (Space *home, bool, SetVar &x) |
Update this variable to be a clone of variable x. | |
Related Functions | |
(Note that these are not member functions.) | |
std::ostream & | operator<< (std::ostream &, const Gecode::SetVar &x) |
Print set variable x. |
Constructor & Destructor Documentation
|
Default constructor.
|
|
Initialize variable with empty greatest lower and full least upper bound.
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound , least upper bound , and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound glbD, least upper bound , and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound , least upper bound lubD, and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound glbD, least upper bound lubD, and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
Member Function Documentation
|
Initialize variable with empty greatest lower and full least upper bound.
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound , least upper bound , and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound glbD, least upper bound , and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound , least upper bound lubD, and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Initialize variable with given bounds and cardinality. The variable is created with greatest lower bound glbD, least upper bound lubD, and cardinality minimum cardMin and maximum cardMax. The following exceptions might be thrown:
|
|
Return set variable implementation.
|
|
Return number of elements in the greatest lower bound.
|
|
Return number of elements in the least upper bound.
|
|
Return number of unknown elements (elements in lub but not in glb).
|
|
Return cardinality minimum.
|
|
Return cardinality maximum.
|
|
Return minimum element of least upper bound.
|
|
Return maximum element of least upper bound.
|
|
Return minimum element of greatest lower bound.
|
|
Return maximum of greatest lower bound.
|
|
Test whether i is in greatest lower bound.
|
|
Test whether i is not in the least upper bound.
|
|
Test whether this variable is assigned.
|
|
Update this variable to be a clone of variable x.
|
Friends And Related Function Documentation
|
Print set variable x.
|
The documentation for this class was generated from the following files:
- gecode/set/var.icc (Revision: 3568)
- gecode/set/var/set.cc (Revision: 3188)
- gecode/set/var/set.icc (Revision: 2334)