Generated on Fri Mar 20 15:56:50 2015 for Gecode by doxygen 1.6.3

Gecode::Driver Namespace Reference

Script commandline driver. More...

Classes

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

Functions

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

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.

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

Compute arithmetic mean of n elements in t.

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

Compute deviation of n elements in t.

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.