script.hpp File Reference

#include <gecode/support/timer.hh>
#include <iostream>
#include <iomanip>


Classes
class	Gecode::Driver::Cutoff
	Stop object based on nodes, failures, and time. More...
class	Gecode::Driver::GistEngine< Engine >
	Traits class for search engines. More...
class	Gecode::Driver::GistEngine< DFS< S > >
	Specialization for DFS. More...
class	Gecode::Driver::GistEngine< LDS< S > >
	Specialization for LDS. More...
class	Gecode::Driver::GistEngine< BAB< S > >
	Specialization for BAB. More...
class	Gecode::Driver::GistEngine< Restart< S > >
	Specialization for Restart. 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