How to restart boost::timer::cpu_timer?

boost, c++, timer

Solution

`start()` restarts the timer, that's why there's no need for a `restart()` function.

Problem

Looking at boost::timer::cpu_timer definition, I see that it doesn't seem to have any way to restart the timer. Is restarting a cpu_timer can only be done by recreating the timer object, or is there something I'm missing.

Original source