Generated on Thu Apr 11 13:59:50 2019 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  GistEngine
 Traits class for search engines. More...
class  GistEngine< DFS< S > >
 Specialization for DFS. More...
class  GistEngine< LDS< S > >
 Specialization for LDS. More...
class  GistEngine< BAB< S > >
 Specialization for BAB. More...
class  ScriptGetInfo
 Class to send solution information to CPProfiler for a script. 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  IplOption
 Integer propagation level option. More...
class  TraceOption
 Trace flag 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[], unsigned int n)
 Compute arithmetic mean of n elements in t.
double dev (double t[], unsigned 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[],
unsigned int  n 
)

Compute arithmetic mean of n elements in t.

double Gecode::Driver::dev ( double  t[],
unsigned 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 153 of file script.hpp.