Searched refs:max_exec_time_ (Results 1 – 2 of 2) sorted by relevance
134 max_exec_time_.resize(id + 1); in Ensure()341 max_exec_time_[id] = std::max(max_exec_time_[id], time); in RecordMaxExecutionTime()346 if (id < 0 || static_cast<size_t>(id) >= max_exec_time_.size()) { in MaxExecutionTime()349 return max_exec_time_[id]; in MaxExecutionTime()472 max_exec_time_.reserve(num_node_ids); in InitFromGraph()
212 std::vector<Microseconds> max_exec_time_; variable