9 Table(Set **domains, uint numDomain, Set *range);
10 void addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
11 TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
12 Table *clone(CSolver *solver, CloneMap *map);
13 void serialize(Serializer *serializer);
16 Set *getRange() {return range;}
18 Set *getDomain(uint i) {return domains.get(i);}
19 uint numDomains() {return domains.getSize();}
21 SetIteratorTableEntry *getEntries() {return entries->iterator();}
22 uint getSize() {return entries->getSize();}
29 HashsetTableEntry *entries;