- uint size = getSizeVectorSet(table->domains);
- for(uint i=0; i<size; i++){
- deleteSet(getVectorSet(table->domains,i));
- }
- ourfree(table->domains);
- ourfree(table->range);
- size = getSizeVectorTableEntry(table->entries);
- for(uint i=0; i<size; i++){
- deleteTableEntry(getVectorTableEntry(table->entries, i));
- }
- ourfree(table);
+ ourfree(table->domains);
+ uint size = getSizeVectorTableEntry(table->entries);
+ for(uint i=0; i<size; i++){
+ deleteTableEntry(getVectorTableEntry(table->entries, i));
+ }
+ deleteVectorTableEntry(table->entries);
+ ourfree(table);