590   void SetMin(IntExpr* const expr, int64_t new_min) override {  in SetMin()  argument
592         absl::StrFormat("SetMin(%s, %d)", expr->DebugString(), new_min));  in SetMin()
600   void SetRange(IntExpr* const expr, int64_t new_min,  in SetRange()  argument
603                                         expr->DebugString(), new_min, new_max));  in SetRange()
608   void SetMin(IntVar* const var, int64_t new_min) override {  in SetMin()  argument
610         absl::StrFormat("SetMin(%s, %d)", var->DebugString(), new_min));  in SetMin()
618   void SetRange(IntVar* const var, int64_t new_min, int64_t new_max) override {  in SetRange()  argument
620                                         var->DebugString(), new_min, new_max));  in SetRange()
653   void SetStartMin(IntervalVar* const var, int64_t new_min) override {  in SetStartMin()  argument
655         absl::StrFormat("SetStartMin(%s, %d)", var->DebugString(), new_min));  in SetStartMin()
663   void SetStartRange(IntervalVar* const var, int64_t new_min,  in SetStartRange()  argument
666                                         var->DebugString(), new_min, new_max));  in SetStartRange()
669   void SetEndMin(IntervalVar* const var, int64_t new_min) override {  in SetEndMin()  argument
671         absl::StrFormat("SetEndMin(%s, %d)", var->DebugString(), new_min));  in SetEndMin()
679   void SetEndRange(IntervalVar* const var, int64_t new_min,  in SetEndRange()  argument
682                                         var->DebugString(), new_min, new_max));  in SetEndRange()
685   void SetDurationMin(IntervalVar* const var, int64_t new_min) override {  in SetDurationMin()  argument
687         absl::StrFormat("SetDurationMin(%s, %d)", var->DebugString(), new_min));  in SetDurationMin()
695   void SetDurationRange(IntervalVar* const var, int64_t new_min,  in SetDurationRange()  argument
698                                         var->DebugString(), new_min, new_max));  in SetDurationRange()