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...