10 HashSetTableEntry *entries;
13 Table *allocTable(Set **domains, uint numDomain, Set *range);
14 void addNewTableEntry(Table *This, uint64_t *inputs, uint inputSize, uint64_t result);
15 TableEntry *getTableEntryFromTable(Table *table, uint64_t *inputs, uint inputSize);
16 void deleteTable(Table *This);