script.hpp File Reference

#include <iostream>
#include <iomanip>
#include <csignal>

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

Classes