Generated on Wed Mar 19 07:30:05 2008 for Gecode by doxygen 1.5.5

Set variables with complete domain representation
[Using finite integer sets with complete domain representation]


Classes

class  Gecode::CpltSetVar
 Finite set variable with complete domain representation. More...
class  Gecode::CpltSetVarGlbRanges
 Range iterator for the greatest lower bound of a bdd variable. More...
class  Gecode::CpltSetVarGlbValues
 Value iterator for the greatest lower bound of a bdd variable. More...
class  Gecode::CpltSetVarLubRanges
 Range iterator for the least upper bound of a bdd variable. More...
class  Gecode::CpltSetVarLubValues
 Value iterator for the least upper bound of a bdd variable. More...
class  Gecode::CpltSetVarUnknownRanges
 Range iterator for the unknown set of a bdd variable. More...