X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ftable.h;h=c196d3cf0801db83449123b45905663ba7e1b80d;hb=f774755b299ad524986c4bf628dbbed47a572a65;hp=39b561ce386b38f6efee7a1b7dd20864cccdeffe;hpb=83849cbb24f9680d1ca7c09d09ecefc6fe461d66;p=satune.git

diff --git a/src/AST/table.h b/src/AST/table.h
index 39b561c..c196d3c 100644
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -10,11 +10,23 @@ 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);}
+	uint numDomains() {return domains.getSize();}
+
+	SetIteratorTableEntry *getEntries() {return entries->iterator();}
+	uint getSize() {return entries->getSize();}
+
+	CMEMALLOC;
+
+private:
 	Array<Set *> domains;
 	Set *range;
 	HashsetTableEntry *entries;
-	CMEMALLOC;
 };
 
 #endif