Searched refs:launch_start_end (Results 1 – 1 of 1) sorted by relevance
84 void SetSingleOpLaunchTime(const std::pair<double, double> &launch_start_end) { in SetSingleOpLaunchTime() argument85 single_op_launch_start_time_end_time_ = launch_start_end; in SetSingleOpLaunchTime()