This commit is contained in:
lperron@google.com
2012-06-27 21:29:23 +00:00
parent 18481f3624
commit 58ad8d3041

View File

@@ -4315,8 +4315,7 @@ class IntAbs : public BaseIntExpr {
const int64 max_value = std::max(-expr_->Min(), expr_->Max());
if (expr_->IsVar() && max_value < 0xFFFFFF) {
Solver* const s = solver();
const string name =
StringPrintf("AbsVar(%s)", expr_->name().c_str());
const string name = StringPrintf("AbsVar(%s)", expr_->name().c_str());
IntVar* const target = s->MakeIntVar(0, max_value, name);
CastConstraint* const ct =
s->RevAlloc(new IntAbsConstraint(s, expr_->Var(), target));