Add support for true and false and normalizing them away

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 63ee0fdf057e84b155467f0f66a27105c1ba0813..52f1c98eb13a1d2ea2ede74a2c075622715c42b4 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -38,6 +38,10 @@ public:
        /** This function creates an element constrant. */
        Element *getElementConst(VarType type, uint64_t value);
 
+       Boolean *getBooleanTrue();
+
+       Boolean *getBooleanFalse();
+       
        /** This function creates a boolean variable. */
 
        Boolean *getBooleanVar(VarType type);
@@ -158,6 +162,9 @@ private:
        /** This is a vector of all function structs that we have allocated. */
        Vector<Function *> allFunctions;
 
+       Boolean * boolTrue;
+       Boolean * boolFalse;
+       
        /** These two tables are used for deduplicating entries. */
        BooleanMatchMap boolMap;
        ElementMatchMap elemMap;