From 548c4213453db9553e98686df89da5e429dd9bf3 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 29 Sep 2017 13:59:52 -0700
Subject: [PATCH] Fixing missing changes

---
 src/AST/boolean.h  | 12 +++++++-----
 src/AST/element.h  |  4 ++++
 src/AST/function.h |  3 +++
 3 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 6449a8e..3674d9f 100644
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -16,6 +16,7 @@ public:
 	virtual ~Boolean() {}
 	virtual Boolean *clone(CSolver *solver, CloneMap *map) = 0;
 	virtual void serialize(Serializer* ) = 0;
+        virtual void print() =0;
 	virtual bool isTrue() {return boolVal == BV_MUSTBETRUE;}
 	virtual bool isFalse() {return boolVal == BV_MUSTBEFALSE;}
 	Polarity polarity;
@@ -33,7 +34,7 @@ public:
 	bool isTrue() {return istrue;}
 	bool isFalse() {return !istrue;}
 	void serialize(Serializer *serializer ){};
-	
+        virtual void print();
 	bool istrue;
 	CMEMALLOC;
 };
@@ -43,7 +44,7 @@ public:
 	BooleanVar(VarType t);
 	Boolean *clone(CSolver *solver, CloneMap *map);
 	void serialize(Serializer *serializer );
-	
+        virtual void print();
 	VarType vtype;
 	Edge var;
 	CMEMALLOC;
@@ -54,7 +55,8 @@ public:
 	BooleanOrder(Order *_order, uint64_t _first, uint64_t _second);
 	Boolean *clone(CSolver *solver, CloneMap *map);
 	void serialize(Serializer *serializer );
-	
+        virtual void print();
+
 	Order *order;
 	uint64_t first;
 	uint64_t second;
@@ -69,7 +71,7 @@ public:
 	FunctionEncoding *getFunctionEncoding() {return &encoding;}
 	void updateParents();
 	void serialize(Serializer *serializer );
-	
+        virtual void print();
 	CMEMALLOC;
 
 	Predicate *predicate;
@@ -83,7 +85,7 @@ public:
 	BooleanLogic(CSolver *solver, LogicOp _op, BooleanEdge *array, uint asize);
 	Boolean *clone(CSolver *solver, CloneMap *map);
 	void serialize(Serializer *serializer );
-	
+        virtual void print();
 	LogicOp op;
 	bool replaced;
 	Array<BooleanEdge> inputs;
diff --git a/src/AST/element.h b/src/AST/element.h
index 72b2ea6..b045186 100644
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -17,6 +17,7 @@ public:
 	inline ElementEncoding *getElementEncoding(){ return &encoding; }
 	virtual Element *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;};
 	virtual void serialize(Serializer* serializer) =0;
+        virtual void print();
 	virtual void updateParents() {}
 	virtual Set * getRange() = 0;
 	CMEMALLOC;
@@ -28,6 +29,7 @@ public:
 	ElementSet(Set *s);
 	virtual Element *clone(CSolver *solver, CloneMap *map);
 	virtual void serialize(Serializer* serializer);
+        virtual void print();
 	CMEMALLOC;
 	Set *getRange() {return set;}
  protected:
@@ -40,6 +42,7 @@ public:
 	ElementConst(uint64_t value, Set *_set);
 	uint64_t value;
 	virtual void serialize(Serializer* serializer);
+        virtual void print();
 	Element *clone(CSolver *solver, CloneMap *map);
 	CMEMALLOC;
 };
@@ -52,6 +55,7 @@ public:
 	FunctionEncoding functionencoding;
 	Element *clone(CSolver *solver, CloneMap *map);
 	virtual void serialize(Serializer* serializer);
+        virtual void print();
 	Set * getRange();
 	void updateParents();
 	Function * getFunction() {return function;}
diff --git a/src/AST/function.h b/src/AST/function.h
index 98ef536..b8d0c78 100644
--- a/src/AST/function.h
+++ b/src/AST/function.h
@@ -13,6 +13,7 @@ public:
 	virtual ~Function() {}
 	virtual Function *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
 	virtual void serialize(Serializer* serialiezr) =0;
+        virtual void print() = 0;
 	virtual Set * getRange() = 0;
 	CMEMALLOC;
 };
@@ -28,6 +29,7 @@ public:
 	bool isInRangeFunction(uint64_t val);
 	Function *clone(CSolver *solver, CloneMap *map);
 	virtual void serialize(Serializer* serialiezr);
+        virtual void print();
 	Set * getRange() {return range;}
 	CMEMALLOC;
 };
@@ -39,6 +41,7 @@ public:
 	FunctionTable (Table *table, UndefinedBehavior behavior);
 	Function *clone(CSolver *solver, CloneMap *map);
 	virtual void serialize(Serializer* serialiezr);
+        virtual void print();
 	Set * getRange();
 	CMEMALLOC;
 };
-- 
2.34.1