Commandline options for running scripts
[Script commandline driver]
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... |
Enumeration Type Documentation
enum Gecode::ScriptMode |
enum Gecode::RestartMode |