Handle optimizations for mustbetrue/mustbefalse automatically

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 2875a9c78365e708912ddcd5ef2620837212af66..3ff8509b369bbd13249e8d48eaaa945c8e362679 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -134,6 +134,7 @@ public:
        SATEncoder *getSATEncoder() {return satEncoder;}
 
        void replaceBooleanWithTrue(BooleanEdge bexpr);
+       void replaceBooleanWithTrueNoRemove(BooleanEdge bexpr);
        void replaceBooleanWithFalse(BooleanEdge bexpr);
        void replaceBooleanWithBoolean(BooleanEdge oldb, BooleanEdge newb);
        CSolver *clone();