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 SetIteratorTableEntry *getEntries() {return entries->iterator();}
19 uint getSize() {return entries->getSize();}
25 HashsetTableEntry *entries;