Other available functionality
Modules | |
Integer propagators | |
Integer view selection for branching | |
Integer value selection for branching | |
Set propagators | |
Set view selection for branching | |
Set value selection for branching | |
CpltSet propagators | |
CpltSet view selection for branching | |
CpltSet value selection for branching | |
Classes | |
class | Gecode::CpltSet::CpltSetVarImp |
Finite integer set variable implementation using a complete domain representation. More... | |
class | Gecode::Int::IntVarImp |
Integer variable implementation. More... | |
class | Gecode::Int::BoolVarImp |
Boolean variable implementation. More... | |
class | Gecode::Set::SetVarImp |
Finite integer set variable implementation. More... |