always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

recognize int_lin_ge_reif disguised as int_lin_le_reif

Browse Source
This commit is contained in:
lperron@google.com
2012-07-06 09:34:28 +00:00
parent e51714fcea
commit 952cdfd87b
1 changed files with 21 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
src/flatzinc/registry.cc
View File

@@ -559,15 +559,31 @@ void p_int_lin_le_reif(FlatZincModel* const model, CtSpec* const spec) {
std::vector<int64> coefficients(size);
std::vector<IntVar*> variables(size);
bool one_positive = false;
for (int i = 0; i < size; ++i) {
coefficients[i] = array_coefficients->a[i]->getInt();
variables[i] = model->GetIntExpr(array_variables->a[i])->Var();
if (coefficients[i] > 0) {
one_positive = true;
}
}
if (one_positive) {
IntExpr* const expr = solver->MakeScalProd(variables, coefficients);
IntVar* const boolvar = model->GetIntExpr(node_boolvar)->Var();
Constraint* const ct = solver->MakeIsLessOrEqualCstCt(expr, rhs, boolvar);
VLOG(1) << " - posted " << ct->DebugString();
solver->AddConstraint(ct);
} else {
for (int i = 0; i < size; ++i) {
coefficients[i] *= -1;
}
IntExpr* const expr = solver->MakeScalProd(variables, coefficients);
IntVar* const boolvar = model->GetIntExpr(node_boolvar)->Var();
Constraint* const ct =
solver->MakeIsGreaterOrEqualCstCt(expr, -rhs, boolvar);
VLOG(1) << " - posted " << ct->DebugString();
solver->AddConstraint(ct);
}
IntExpr* const expr = solver->MakeScalProd(variables, coefficients);
IntVar* const boolvar = model->GetIntExpr(node_boolvar)->Var();
Constraint* const ct = solver->MakeIsLessOrEqualCstCt(expr, rhs, boolvar);
VLOG(1) << " - posted " << ct->DebugString();
solver->AddConstraint(ct);
}
void p_int_lin_lt(FlatZincModel* const model, CtSpec* const spec) {