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

speedup kqueens

Browse Source
This commit is contained in:
lperron@google.com
2012-07-06 13:47:48 +00:00
parent e9fee7346d
commit c11a07b6b6
1 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
src/constraint_solver/range_cst.cc
View File

@@ -89,21 +89,25 @@ class RangeLessOrEqual : public Constraint {
private:
IntExpr* const left_;
IntExpr* const right_;
Demon* demon_;
};
RangeLessOrEqual::RangeLessOrEqual(Solver* const s, IntExpr* const l,
IntExpr* const r)
: Constraint(s), left_(l), right_(r) {}
: Constraint(s), left_(l), right_(r), demon_(NULL) {}
void RangeLessOrEqual::Post() {
Demon* d = solver()->MakeConstraintInitialPropagateCallback(this);
left_->WhenRange(d);
right_->WhenRange(d);
demon_ = solver()->MakeConstraintInitialPropagateCallback(this);
left_->WhenRange(demon_);
right_->WhenRange(demon_);
}
void RangeLessOrEqual::InitialPropagate() {
left_->SetMax(right_->Max());
right_->SetMin(left_->Min());
if (left_->Max() <= right_->Min()) {
demon_->inhibit(solver());
}
}
string RangeLessOrEqual::DebugString() const {
@@ -134,21 +138,25 @@ class RangeGreaterOrEqual : public Constraint {
private:
IntExpr* const left_;
IntExpr* const right_;
Demon* demon_;
};
RangeGreaterOrEqual::RangeGreaterOrEqual(Solver* const s, IntExpr* const l,
IntExpr* const r)
: Constraint(s), left_(l), right_(r) {}
: Constraint(s), left_(l), right_(r), demon_(NULL) {}
void RangeGreaterOrEqual::Post() {
Demon* d = solver()->MakeConstraintInitialPropagateCallback(this);
left_->WhenRange(d);
right_->WhenRange(d);
demon_ = solver()->MakeConstraintInitialPropagateCallback(this);
left_->WhenRange(demon_);
right_->WhenRange(demon_);
}
void RangeGreaterOrEqual::InitialPropagate() {
left_->SetMin(right_->Min());
right_->SetMax(left_->Max());
if (left_->Min() >= right_->Max()) {
demon_->inhibit(solver());
}
}
string RangeGreaterOrEqual::DebugString() const {