Searched refs:cost_cache_intervals (Results 1 – 1 of 1) sorted by relevance
1138 const CostCacheInterval* const cost_cache_intervals = in PushInterval() local1142 cost_cache_intervals[i].start_ < last; in PushInterval()1145 int start = index + cost_cache_intervals[i].start_; in PushInterval()1146 const int end = index + (cost_cache_intervals[i].end_ > last in PushInterval()1148 : cost_cache_intervals[i].end_); in PushInterval()1149 const double lower_in = cost_cache_intervals[i].lower_; in PushInterval()1150 const double upper_in = cost_cache_intervals[i].upper_; in PushInterval()1154 if (cost_cache_intervals[i].do_write_) { in PushInterval()