Generated on Thu Mar 22 10:39:47 2012 for Gecode by doxygen 1.6.3

script.hpp File Reference

(Revision: 12052)

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

Go to the source code of this file.


class  Gecode::Driver::Cutoff
 Stop object based on nodes, failures, and time. More...


namespace  Gecode

Gecode toplevel namespace

namespace  Gecode::Driver

Script commandline driver.


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.