
Go to the source code of this file.
Namespaces | |
| Gecode | |
| Gecode toplevel 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. More... | |
| double | Gecode::Driver::am (double t[], int n) |
| Compute arithmetic mean of n elements in t. More... | |
| double | Gecode::Driver::dev (double t[], int n) |
| Compute deviation of n elements in t. More... | |