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