Commandline options for running scripts

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

Detailed Description

Enumeration Type Documentation

enum Gecode::ScriptMode

Different modes for executing scripts.

Enumerator
SM_SOLUTION	Print solution and some statistics.
SM_TIME	Measure average runtime.
SM_STAT	Print statistics for script.
SM_GIST	Run script in Gist.

Definition at line 98 of file driver.hh.

enum Gecode::RestartMode

Different modes for restart-based search.

Enumerator
RM_NONE	No restarts.
RM_CONSTANT	Restart with constant sequence.
RM_LINEAR	Restart with linear sequence.
RM_LUBY	Restart with Luby sequence.
RM_GEOMETRIC	Restart with geometric sequence.

Definition at line 109 of file driver.hh.