fix(plan): Re-enable boolean values in table constraints.

plaans · Feb 29, 2024 · 01f1628 · 01f1628
1 parent 3a16853
commit 01f1628
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/planning/planners/src/encode.rs b/planning/planners/src/encode.rs
@@ -622,7 +622,15 @@ pub fn encode(pb: &FiniteProblem, metric: Option<Metric>) -> std::result::Result
                                         supported_by_this_line.push(solver.reify(leq(var, val)));
                                         supported_by_this_line.push(solver.reify(geq(var, val)));
                                     }
-                                    Atom::Bool(_) | Atom::Fixed(_) => unimplemented!(),
+                                    Atom::Bool(l) => {
+                                        let DiscreteValue::Bool(val) = val else { panic!() };
+                                        if val {
+                                            supported_by_this_line.push(l);
+                                        } else {
+                                            supported_by_this_line.push(!l);
+                                        }
+                                    }
+                                    Atom::Fixed(_) => unimplemented!(),
                                 }
                             }
                             supported_by_a_line.push(solver.reify(and(supported_by_this_line)));