Functor for the timer class which assigns the run-time to a property map. More...
Public Types | |
| typedef double | result_type |
Public Member Functions | |
| properties_timer () | |
| Default constructor. More... | |
| properties_timer (properties::ptr _statistics) | |
| Default constructor. More... | |
| double | operator() (double r) const |
| Saves the run-time to the runtime field of the statistics variable. More... | |
Functor for the timer class which assigns the run-time to a property map.
This functor writes the runtime field of a property map after the time was measured and is thus similar to the reference_timer.
| typedef double result_type |
Result value of the reference_timer is double, since it returns the value of the run-time in the operator call. This is only useful, when using the intermediate measurement in timer.
|
inline |
Default constructor.
Available for delayed starting of the timer.
|
inline |
Default constructor.
| _statistics | A smart pointer to a statistics properties object. Can be empty. |
|
inline |
Saves the run-time to the runtime field of the statistics variable.
| r | The run-time |
1.8.3.1