Generated on Sun Aug 26 2012 08:43:29 for Gecode by doxygen 1.8.1.1
script.hpp File Reference

(Revision: 12052)

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

Go to the source code of this file.

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.