X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ftable.h;h=c196d3cf0801db83449123b45905663ba7e1b80d;hb=bb457e194713776587cab5987fc418160b406e76;hp=6c7926e80e04f42c1437b9d10df5132198efb3a8;hpb=65092ed0458d0752b5b8b3defb90d012dca634b1;p=satune.git

diff --git a/src/AST/table.h b/src/AST/table.h
index 6c7926e..c196d3c 100644
--- 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;