
Classes | |
| class | Gecode::BaseOptions |
| Base class for script options. More... | |
| class | Gecode::Options |
| Options for scripts More... | |
| class | Gecode::SizeOptions |
| Options for scripts with additional size parameter More... | |
| class | Gecode::InstanceOptions |
| Options for scripts with additional instance parameter More... | |
Enumerations | |
| enum | Gecode::ScriptMode { Gecode::SM_SOLUTION , Gecode::SM_TIME , Gecode::SM_STAT , Gecode::SM_GIST , Gecode::SM_CPPROFILER } |
| Different modes for executing scripts. More... | |
| enum | Gecode::RestartMode { Gecode::RM_NONE , Gecode::RM_CONSTANT , Gecode::RM_LINEAR , Gecode::RM_LUBY , Gecode::RM_GEOMETRIC } |
| Different modes for restart-based search. More... | |
| enum Gecode::ScriptMode |
| enum Gecode::RestartMode |