(Revision: 12052)
#include <iostream>
#include <iomanip>
#include <csignal>
Go to the source code of this file.
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.
|