Adding pring option for AST

[satune.git] / src / AST / predicate.h

diff --git a/src/AST/predicate.h b/src/AST/predicate.h
index beaebc9b09989122f45d64573a0e7868c499f0b2..94a7e2e5e25a792dcf6e20a9967b2552066da14c 100644 (file)
--- a/src/AST/predicate.h
+++ b/src/AST/predicate.h
@@ -13,6 +13,7 @@ public:
        virtual ~Predicate() {}
        virtual Predicate *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;}
        virtual void serialize(Serializer* serializer) = 0;
+        virtual void print() =0;
        PredicateType type;
        CMEMALLOC;
 };
@@ -23,6 +24,7 @@ public:
        bool evalPredicateOperator(uint64_t *inputs);
        Predicate *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
+        virtual void print();
        Array<Set *> domains;
        CompOp getOp() {return op;}
        CMEMALLOC;
@@ -35,6 +37,7 @@ public:
        PredicateTable(Table *table, UndefinedBehavior undefBehavior);
        Predicate *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
+        virtual void print();
        Table *table;
        UndefinedBehavior undefinedbehavior;
        CMEMALLOC;