X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Fpredicate.h;h=812d4bda8ec4d4abb70915fb9d8ae98923b3abce;hp=94a7e2e5e25a792dcf6e20a9967b2552066da14c;hb=d8a822b4166c0e1da167d756bc10cffbaded8972;hpb=0703630a40f4fcfd8c8dcad336472907f125c86c

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index 94a7e2e..812d4bd 100644
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -12,8 +12,8 @@ public:
 	Predicate(PredicateType _type) : type(_type) {}
 	virtual ~Predicate() {}
 	virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
-	virtual void serialize(Serializer* serializer) = 0;
-        virtual void print() =0;
+	virtual void serialize(Serializer *serializer) = 0;
+	virtual void print() = 0;
 	PredicateType type;
 	CMEMALLOC;
 };
@@ -23,12 +23,12 @@ public:
 	PredicateOperator(CompOp op, Set **domain, uint numDomain);
 	bool evalPredicateOperator(uint64_t *inputs);
 	Predicate *clone(CSolver *solver, CloneMap *map);
-	virtual void serialize(Serializer* serializer);
-        virtual void print();
+	virtual void serialize(Serializer *serializer);
+	virtual void print();
 	Array<Set *> domains;
 	CompOp getOp() {return op;}
 	CMEMALLOC;
- private:
+private:
 	CompOp op;
 };
 
@@ -36,8 +36,8 @@ class PredicateTable : public Predicate {
 public:
 	PredicateTable(Table *table, UndefinedBehavior undefBehavior);
 	Predicate *clone(CSolver *solver, CloneMap *map);
-	virtual void serialize(Serializer* serializer);
-        virtual void print();
+	virtual void serialize(Serializer *serializer);
+	virtual void print();
 	Table *table;
 	UndefinedBehavior undefinedbehavior;
 	CMEMALLOC;