17#include "absl/strings/str_format.h"
25#pragma warning(disable : 4351 4355 4804 4805)
30class 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_;
69class 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_;
108class 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);
The class IntExpr is the base of all integer expressions in constraint programming.
IntVar * Var() override
Creates a variable from the expression.
Interval variables are often used in scheduling.
static const char kIntervalArgument[]
static const char kStartExpr[]
static const char kDurationExpr[]
static const char kEndExpr[]
virtual std::string name() const
Object naming.
bool HasName() const
Returns whether the object has been named or not.
void set_name(const std::string &name)
IntExpr * RegisterIntExpr(IntExpr *const expr)
Registers a new IntExpr and wraps it inside a TraceIntExpr if necessary.
IntExpr * MakeConditionalExpression(IntVar *const condition, IntExpr *const expr, int64 unperformed_value)
Conditional Expr condition ? expr : unperformed_value.
T * RevAlloc(T *object)
Registers the given object as being reversible.
#define DISALLOW_COPY_AND_ASSIGN(TypeName)
The vehicle routing library lets one model and solve generic vehicle routing problems ranging from th...
IntExpr * BuildEndExpr(IntervalVar *var)
IntExpr * BuildStartExpr(IntervalVar *var)
IntExpr * BuildSafeEndExpr(IntervalVar *var, int64 unperformed_value)
IntExpr * BuildSafeStartExpr(IntervalVar *var, int64 unperformed_value)
IntExpr * BuildSafeDurationExpr(IntervalVar *var, int64 unperformed_value)
IntExpr * BuildDurationExpr(IntervalVar *var)