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

oops

Browse Source
This commit is contained in:
Laurent Perron
2025-01-28 21:52:07 +01:00
parent 1b1c26e90c
commit 9a77900883
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ortools/flatzinc/checker.cc
View File

@@ -1072,8 +1072,8 @@ bool CheckSetNotIn(const Constraint& ct,
bool CheckSetInReif(const Constraint& ct,
const std::function<int64_t(Variable*)>& evaluator) {
const int64_t value = Eval(ct.arguments[0], evaluator);
const bool status = Eval(ct.arguments[2], evaluator);
return status == ct.arguments[1].Contains(value) != 0;
const bool status = Eval(ct.arguments[2], evaluator) != 0;
return status == ct.arguments[1].Contains(value);
}
bool CheckSlidingSum(const Constraint& ct,