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 |
enum Gecode::RestartMode |