Gecode::Set::LUBndSet Class Reference
Inherits Gecode::Set::BndSet.Detailed Description
Shrinking sets of integers.These sets provide operations for monotonically shrinking the set. Shrinking sets are used for implementing the least upper bound of set variables.
Definition at line 281 of file var.icc.
Constructors and initialization  
LUBndSet (void)  
Default constructor. Creates an empty set.  
LUBndSet (Space *home)  
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.  
LUBndSet (Space *home, int i, int j)  
Initialize as the set .  
LUBndSet (Space *home, const IntSet &s)  
Initialize as the set represented by s.  
void  init (Space *home) 
Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.  
Update operations  
bool  exclude (Space *home, int i, int j) 
Exclude the set from this set.  
template<class I>  
bool  intersectI (Space *home, I &i) 
Exclude all elements not in the set represented by i from this set.  
template<class I>  
bool  excludeI (Space *home, I &i) 
Exclude all elements in the set represented by i from this set. 
Constructor & Destructor Documentation

Default constructor. Creates an empty set.
Definition at line 426 of file integerset.icc. 

Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.
Definition at line 429 of file integerset.icc. 

Initialize as the set .
Definition at line 433 of file integerset.icc. 

Initialize as the set represented by s.
Definition at line 437 of file integerset.icc. 
Member Function Documentation

Initialize as the full set including everything between Limits::Set::int_min and Limits::Set::int_max.
Definition at line 441 of file integerset.icc. 

Exclude the set from this set.
Definition at line 452 of file integerset.icc. 

Exclude all elements not in the set represented by i from this set.
Definition at line 466 of file integerset.icc. 

Exclude all elements in the set represented by i from this set.
Definition at line 481 of file integerset.icc. 
The documentation for this class was generated from the following files:
 gecode/set/var.icc (Revision: 3568)
 gecode/set/var/integerset.cc (Revision: 3188)
 gecode/set/var/integerset.icc (Revision: 3413)