X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fboolean.h;h=1f218b2cd855fde36aeab02738bfd917cda6dd46;hp=9864d9bb3d39ff7ffcebb8ac01df2e5d93a9db80;hb=238830745ba3939323c285b722c9ae512b7baa9b;hpb=cfbb106cf7c1281029b012c47580c9f14df1014b

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 9864d9b..1f218b2 100644
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -11,6 +11,8 @@
 #include "serializer.h"
 
 class Boolean : public ASTNode {
+private:
+    static uint64_t counter;
 public:
 	Boolean(ASTNodeType _type);
 	virtual ~Boolean() {}
@@ -23,7 +25,7 @@ public:
 	BooleanValue boolVal;
 	Vector<Boolean *> parents;
 	virtual void updateParents() {}
-
+        uint64_t id;
 	CMEMALLOC;
 };
 
@@ -56,6 +58,7 @@ public:
 	Boolean *clone(CSolver *solver, CloneMap *map);
 	void serialize(Serializer *serializer );
 	virtual void print();
+	void updateParents();
 
 	Order *order;
 	uint64_t first;