Gecode::Driver Namespace Reference

Script commandline driver. More...

Classes
class	Cutoff
	Stop object based on nodes, failures, and time. 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...
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.

---

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.