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