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 }
	Different modes for executing scripts. More...

---

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.