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