10 HashSetTableEntry* entrie;
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);