Generated on Tue Jul 27 2010 21:59:22 for Gecode by doxygen 1.7.1

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.