Fix error with isEq/isGeq due to bool type not caught

chocoteam · Sep 6, 2024 · 7d91344 · 7d91344
1 parent cdadf1d
commit 7d91344
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/solver/src/main/java/org/chocosolver/solver/variables/IViewFactory.java b/solver/src/main/java/org/chocosolver/solver/variables/IViewFactory.java
@@ -224,6 +224,14 @@ default BoolVar isEq(IntVar var, int v) {
         } else if (!var.contains(v)) {
             return ref().boolVar(false);
         } else {
+            if (VariableUtils.isBool(var)) {
+                BoolVar bvar = (BoolVar) var;
+                if (v == 0) {
+                    return bvar.not();
+                } else {
+                    return bvar;
+                }
+            }
             if (ref().getSettings().enableViews()) {
                 int p = checkDeclaredView(var, v, BoolEqView.class, ref().getSettings().checkDeclaredViews());
                 if (p >= 0) {
@@ -252,6 +260,11 @@ default BoolVar isGeq(IntVar var, int v) {
         } else if (var.getUB() < v) {
             return ref().boolVar(false);
         } else {
+            if (VariableUtils.isBool(var)) {
+                BoolVar bvar = (BoolVar) var;
+                assert v == 1;
+                return bvar;
+            }
             if (ref().getSettings().enableViews()) {
                 int p = checkDeclaredView(var, v - 1, BoolLeqView.class, ref().getSettings().checkDeclaredViews());
                 if (p >= 0) {