4 #include "tableentry.h"
8 Table * allocTable(Set **domains, uint numDomain, Set * range){
9 Table* table = (Table*) ourmalloc(sizeof(Table));
10 table->numDomains=numDomain;
11 table->domains = ourmalloc(numDomain*sizeof(Set *));
12 memcpy(table->domains, domains, numDomain * sizeof(Set *));
17 void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result){
18 ASSERT(getSizeVectorSet( table->domains) == inputSize);
19 pushVectorTableEntry(table->entries, allocTableEntry(inputs, inputSize, result));
22 void deleteTable(Table* table){
23 ourfree(table->domains);
24 uint size = getSizeVectorTableEntry(table->entries);
25 for(uint i=0; i<size; i++){
26 deleteTableEntry(getVectorTableEntry(table->entries, i));
28 deleteVectorTableEntry(table->entries);