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

small performance improvement

Browse Source
This commit is contained in:
lperron@google.com
2014-01-16 17:27:42 +00:00
parent b36b904fc1
commit 384413c902
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/constraint_solver/expr_cst.cc
View File

@@ -141,7 +141,7 @@ GreaterEqExprCst::GreaterEqExprCst(Solver* const s, IntExpr* const e, int64 v)
: Constraint(s), expr_(e), value_(v) {}
void GreaterEqExprCst::Post() {
if (!expr_->IsVar()) {
if (!expr_->IsVar() && expr_->Min() < value_) {
Demon* d = solver()->MakeConstraintInitialPropagateCallback(this);
expr_->WhenRange(d);
}
@@ -206,7 +206,7 @@ LessEqExprCst::LessEqExprCst(Solver* const s, IntExpr* const e, int64 v)
: Constraint(s), expr_(e), value_(v) {}
void LessEqExprCst::Post() {
if (!expr_->IsVar()) {
if (!expr_->IsVar() && expr_->Max() > value_) {
Demon* d = solver()->MakeConstraintInitialPropagateCallback(this);
expr_->WhenRange(d);
}