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;