Searched refs:destroy_timer (Results 1 – 1 of 1) sorted by relevance
164 cpu_timer copy_timer, assign_timer, destroy_timer; in copy_destroy_time() local178 destroy_timer.resume(); in copy_destroy_time()180 destroy_timer.stop(); in copy_destroy_time()187 …std::cout << " Destroy " << boost::timer::format(destroy_timer.elapsed(), bo… in copy_destroy_time()