4 #include "tableentry.h"
7 Table * allocTable(Set **domains, uint numDomain, Set * range){
8 Table* table = (Table*) ourmalloc(sizeof(Table));
9 table->domains = allocDefVectorSet();
10 for(int i=0; i<numDomain; i++){
11 pushVectorSet(table->domains, domains[i]);
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));