Gecode::Driver Namespace Reference
Script commandline driver. More...
Classes | |
| class | Cutoff |
| Stop object based on nodes, failures, and time. More... | |
| class | GistEngine |
| Traits class for search engines. More... | |
| class | GistEngine< DFS< S > > |
| Specialization for DFS. More... | |
| class | GistEngine< LDS< S > > |
| Specialization for LDS. More... | |
| class | GistEngine< BAB< S > > |
| Specialization for BAB. More... | |
| class | GistEngine< Restart< S > > |
| Specialization for Restart. More... | |
| class | BaseOption |
| Base class for options. More... | |
| class | StringOption |
| String-valued option. More... | |
| class | IntOption |
| Integer option. More... | |
| class | UnsignedIntOption |
| Unsigned integer option. More... | |
| class | DoubleOption |
| Double option. More... | |
| class | BoolOption |
| Boolean option. More... | |
| class | ScriptBase |
| Parametric base-class for scripts. More... | |
Functions | |
| void | stop (Support::Timer &t, std::ostream &os) |
| Get time since start of timer and print user friendly time information. | |
| double | am (double t[], int n) |
| Compute arithmetic mean of n elements in t. | |
| double | dev (double t[], int n) |
| Compute deviation of n elements in t. | |
Detailed Description
Script commandline driver.The Gecode::Driver namespace contains support for passing common commandline options and for scripts that use the commandline options.
Function Documentation
| void Gecode::Driver::stop | ( | Support::Timer & | timer, | |
| std::ostream & | os | |||
| ) |
Get time since start of timer and print user friendly time information.
Definition at line 46 of file script.cpp.
| double Gecode::Driver::am | ( | double | t[], | |
| int | n | |||
| ) |
| double Gecode::Driver::dev | ( | double | t[], | |
| int | n | |||
| ) |