Generated on Sat Feb 7 2015 02:01:42 for Gecode by doxygen 1.8.9.1
Gecode::Driver Namespace Reference

Script commandline driver. More...

Classes

class  BaseOption
 Base class for options. More...
 
class  BoolOption
 Boolean option. More...
 
class  CombinedStop
 Stop object based on nodes, failures, and time. More...
 
class  DoubleOption
 Double option. More...
 
class  EngineToMeta
 Wrapper class to add engine template argument. More...
 
class  IntOption
 Integer option. More...
 
class  ScriptBase
 Parametric base-class for scripts. More...
 
class  StringOption
 String-valued option (integer value defined by strings) More...
 
class  StringValueOption
 String-valued option. More...
 
class  UnsignedIntOption
 Unsigned integer option. More...
 

Functions

void stop (Support::Timer &t, std::ostream &os)
 Get time since start of timer and print user friendly time information. More...
 
double am (double t[], int n)
 Compute arithmetic mean of n elements in t. More...
 
double dev (double t[], int n)
 Compute deviation of n elements in t. More...
 
template<class Options >
Search::CutoffcreateCutoff (const Options &o)
 Create cutoff object from options. More...
 

Detailed Description

Script commandline driver.

The Gecode::Driver namespace contains support for passing common commandline options and for scripts that use the commandline options.

Function Documentation

void Gecode::Driver::stop ( Support::Timer timer,
std::ostream &  os 
)

Get time since start of timer and print user friendly time information.

Definition at line 46 of file script.cpp.

double Gecode::Driver::am ( double  t[],
int  n 
)

Compute arithmetic mean of n elements in t.

Definition at line 78 of file script.cpp.

double Gecode::Driver::dev ( double  t[],
int  n 
)

Compute deviation of n elements in t.

Definition at line 88 of file script.cpp.

template<class Options >
Search::Cutoff* Gecode::Driver::createCutoff ( const Options o)
inline

Create cutoff object from options.

Definition at line 157 of file script.hpp.