Adding pring option for AST

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

diff --git a/src/AST/table.h b/src/AST/table.h
index db8d188f9669476b1cce78698f7e80076c497ca8..d8c7829b86eb8e4dd60b9732d6fc7968485f5a44 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -11,6 +11,7 @@ public:
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
        Table *clone(CSolver *solver, CloneMap *map);
        void serialize(Serializer *serializer);
+        void print();
        ~Table();
        Set * getRange() {return range;}