Other available functionality
Classes | |
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... | |
Modules | |
Generic propagators | |
Integer propagators | |
Integer view selection for brancher | |
Integer value selection for brancher | |
Set propagators | |
Set view selection for brancher | |
Set value selection for brancher |