Performs some statistical calculations. More...
Public Member Functions
|Clear the collected statistical data. |
|void||solution (int depth)|
|A solution has been found. |
|void||infeasible (int depth)|
|An infeasible subproblem has been encountered. |
Private Member Functions
|Get current user time in seconds. |
|The time when the calculation was started. |
|The number of solutions found. |
Performs some statistical calculations.
Get current user time in seconds.
The time will be reported as a floating point number, allowing for fractions of a second. Only the CPU time dedicated to this process will count, so that the time as returned by this function will pass slower the more other processes occupy the CPU. As the returned value is intended for difference calculation, the initial offset is irrelevant.