Gecode::Set::GLBndSet Class Reference
Inherits Gecode::Set::BndSet.Detailed Description
Growing sets of integers.These sets provide operations for monotonically growing the set. Growing sets are used for implementing the greatest lower bound of set variables.
Definition at line 245 of file var.icc.
Constructors and initialization  
GLBndSet (Space *=NULL)  
Default constructor. Creates an empty set.  
GLBndSet (Space *home, int i, int j)  
Initialize as the set .  
GLBndSet (Space *home, const IntSet &s)  
Initialize as the set represented by s.  
void  init (Space *home) 
Initialize as the empty set.  
Update operations  
bool  include (Space *home, int i, int j) 
Include the set in this set.  
template<class I>  
bool  includeI (Space *home, I &i) 
Include the set represented by i in this set. 
Constructor & Destructor Documentation

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

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

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

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

Include the set in this set.
Definition at line 394 of file integerset.icc. 

Include the set represented by i in this set.
Definition at line 409 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)