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...
Enumerations
enum	Gecode::ScriptMode { Gecode::SM_SOLUTION, Gecode::SM_TIME, Gecode::SM_STAT, Gecode::SM_GIST }
	Different modes for executing scripts. More...

Enumeration Type Documentation

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.