Merge

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 346da4791e4c9266c229a6646f64253aae43dd00..db8d188f9669476b1cce78698f7e80076c497ca8 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -10,11 +10,22 @@ 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);
        ~Table();
+       Set * getRange() {return range;}
+       
+       Set * getDomain(uint i) {return domains.get(i);}
+       uint numDomains() {return domains.getSize();}
+ 
+       SetIteratorTableEntry * getEntries() {return entries->iterator();}
+       uint getSize() {return entries->getSize();}
+
+       CMEMALLOC;
+       
+ private:
        Array<Set *> domains;
        Set *range;
-       HashSetTableEntry *entries;
-       MEMALLOC;
+       HashsetTableEntry *entries;
 };
 
 #endif