script.hpp File Reference

(Revision: 14446)

#include <iostream>
#include <iomanip>
#include <fstream>
#include <cstring>
#include <csignal>

Go to the source code of this file.

Classes
class	Gecode::Driver::CombinedStop
	Stop object based on nodes, failures, and time. More...
class	Gecode::Driver::EngineToMeta< E, T >
	Wrapper class to add engine template argument. More...
Namespaces
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Driver
	Script commandline driver.
Functions
void	Gecode::Driver::stop (Support::Timer &t, 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)
	Create cutoff object from options.