Method start

MiniZincIDE/elapsedtimer.cpp:21–24

}

void ElapsedTimer::start(int updateRate) {
    _interval.start(updateRate);
    _elapsed.start();
}

void ElapsedTimer::stop() {
    _interval.stop();