Table * allocTable(Set **domains, uint numDomain, Set * range){
Table* table = (Table*) ourmalloc(sizeof(Table));
- table->numDomains=numDomain;
- table->domains = ourmalloc(numDomain*sizeof(Set *));
- memcpy(table->domains, domains, numDomain * sizeof(Set *));
+ allocInlineArrayInitSet(&table->domains, domains, numDomain);
table->range =range;
return table;
}
}
void deleteTable(Table* table){
- ourfree(table->domains);
+ deleteInlineArraySet(&table->domains);
uint size = getSizeVectorTableEntry(table->entries);
for(uint i=0; i<size; i++){
deleteTableEntry(getVectorTableEntry(table->entries, i));