Searched refs:old_max_ (Results 1 – 1 of 1) sorted by relevance
1552 int64_t OldMax() const override { return std::max(old_max_, max_.Value()); } in OldMax()1569 if (old_max_ < max_.Value()) { in CheckOldMax()1570 old_max_ = max_.Value(); in CheckOldMax()1576 int64_t old_max_; member in operations_research::__anon234752210111::DomainIntVar2199 old_max_(vmax), in DomainIntVar()2215 old_max_(std::numeric_limits<int64_t>::min()), in DomainIntVar()2233 old_max_ = vmax; in DomainIntVar()2457 old_max_ = max_.Value(); in Process()