17 #include "absl/strings/str_format.h"
25 #pragma warning(disable : 4351 4355 4804 4805)
30 class IntervalVarStartExpr :
public BaseIntExpr {
32 explicit IntervalVarStartExpr(IntervalVar*
const i)
33 : BaseIntExpr(i->solver()), interval_(i) {}
34 ~IntervalVarStartExpr()
override {}
36 int64 Min()
const override {
return interval_->StartMin(); }
38 void SetMin(
int64 m)
override { interval_->SetStartMin(m); }
40 int64 Max()
const override {
return interval_->StartMax(); }
42 void SetMax(
int64 m)
override { interval_->SetStartMax(m); }
44 void SetRange(
int64 l,
int64 u)
override { interval_->SetStartRange(l, u); }
46 void SetValue(
int64 v)
override { interval_->SetStartRange(v, v); }
48 bool Bound()
const override {
49 return interval_->StartMin() == interval_->StartMax();
52 void WhenRange(Demon* d)
override { interval_->WhenStartRange(d); }
54 std::string DebugString()
const override {
55 return absl::StrFormat(
"start(%s)", interval_->DebugString());
58 void Accept(ModelVisitor*
const visitor)
const override {
65 IntervalVar* interval_;
69 class IntervalVarEndExpr :
public BaseIntExpr {
71 explicit IntervalVarEndExpr(IntervalVar*
const i)
72 : BaseIntExpr(i->solver()), interval_(i) {}
73 ~IntervalVarEndExpr()
override {}
75 int64 Min()
const override {
return interval_->EndMin(); }
77 void SetMin(
int64 m)
override { interval_->SetEndMin(m); }
79 int64 Max()
const override {
return interval_->EndMax(); }
81 void SetMax(
int64 m)
override { interval_->SetEndMax(m); }
83 void SetRange(
int64 l,
int64 u)
override { interval_->SetEndRange(l, u); }
85 void SetValue(
int64 v)
override { interval_->SetEndRange(v, v); }
87 bool Bound()
const override {
88 return interval_->EndMin() == interval_->EndMax();
91 void WhenRange(Demon* d)
override { interval_->WhenEndRange(d); }
93 std::string DebugString()
const override {
94 return absl::StrFormat(
"end(%s)", interval_->DebugString());
97 void Accept(ModelVisitor*
const visitor)
const override {
104 IntervalVar* interval_;
108 class IntervalVarDurationExpr :
public BaseIntExpr {
110 explicit IntervalVarDurationExpr(IntervalVar*
const i)
111 : BaseIntExpr(i->solver()), interval_(i) {}
112 ~IntervalVarDurationExpr()
override {}
114 int64 Min()
const override {
return interval_->DurationMin(); }
116 void SetMin(
int64 m)
override { interval_->SetDurationMin(m); }
118 int64 Max()
const override {
return interval_->DurationMax(); }
120 void SetMax(
int64 m)
override { interval_->SetDurationMax(m); }
123 interval_->SetDurationRange(l, u);
126 void SetValue(
int64 v)
override { interval_->SetDurationRange(v, v); }
128 bool Bound()
const override {
129 return interval_->DurationMin() == interval_->DurationMax();
132 void WhenRange(Demon* d)
override { interval_->WhenDurationRange(d); }
134 std::string DebugString()
const override {
135 return absl::StrFormat(
"duration(%s)", interval_->DebugString());
138 void Accept(ModelVisitor*
const visitor)
const override {
145 IntervalVar* interval_;
184 var->PerformedExpr()->
Var(),
var->StartExpr(), unperformed_value);
189 var->PerformedExpr()->
Var(),
var->DurationExpr(), unperformed_value);
194 var->PerformedExpr()->
Var(),
var->EndExpr(), unperformed_value);