Add AST Hashing and Equals Functions

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 92900a19468eb386ce861b8c427e91638279c9d1..a3d4c2b1aef970f6272bea87ae59075d09b7c875 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -127,6 +127,8 @@ public:
        MEMALLOC;
 
 private:
+       void assignID(Boolean * b);
+       void assignID(Element * e);
        void handleXORFalse(BooleanLogic *bexpr, Boolean *child);
        void handleIMPLIESTrue(BooleanLogic *bexpr, Boolean *child);
        void handleIMPLIESFalse(BooleanLogic *bexpr, Boolean *child);
@@ -160,7 +162,9 @@ private:
        SATEncoder *satEncoder;
        bool unsat;
        Tuner *tuner;
-
+       uint booleanID;
+       uint elementID;
+       
        long long elapsedTime;
 };
 #endif