After resolving conflicts

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 6c7926e80e04f42c1437b9d10df5132198efb3a8..c196d3cf0801db83449123b45905663ba7e1b80d 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -10,18 +10,20 @@ public:
        void addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
        Table *clone(CSolver *solver, CloneMap *map);
+       void serialize(Serializer *serializer);
+       void print();
        ~Table();
-       Set * getRange() {return range;}
-       
-       Set * getDomain(uint i) {return domains.get(i);}
+       Set *getRange() {return range;}
+
+       Set *getDomain(uint i) {return domains.get(i);}
        uint numDomains() {return domains.getSize();}
- 
-       SetIteratorTableEntry * getEntries() {return entries->iterator();}
+
+       SetIteratorTableEntry *getEntries() {return entries->iterator();}
        uint getSize() {return entries->getSize();}
 
        CMEMALLOC;
-       
- private:
+
+private:
        Array<Set *> domains;
        Set *range;
        HashsetTableEntry *entries;