Add initialization of TableEntry vector

[satune.git] / src / AST / table.c

diff --git a/src/AST/table.c b/src/AST/table.c
index 2705f13a666d388e9f857f11af350300b48ff5d0..ea4b6d21a8d4b9ee0f5410dc11b9ea4c7dae3960 100644 (file)
--- a/src/AST/table.c
+++ b/src/AST/table.c
@@ -7,23 +7,24 @@
 
 Table * allocTable(Set **domains, uint numDomain, Set * range){
     Table* table = (Table*) ourmalloc(sizeof(Table));
-               allocInlineArrayInitSet(&table->domains, domains, numDomain);
+    allocInlineArrayInitSet(&table->domains, domains, numDomain);
+    allocInlineDefVectorTableEntry(&table->entries);
     table->range =range;
-               return table;
+    return table;
 }
 
 void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result){
     ASSERT(getSizeVectorSet( table->domains) == inputSize);
-    pushVectorTableEntry(table->entries, allocTableEntry(inputs, inputSize, result));
+    pushVectorTableEntry(&table->entries, allocTableEntry(inputs, inputSize, result));
 }
 
 void deleteTable(Table* table){
-       deleteInlineArraySet(&table->domains);
-       uint size = getSizeVectorTableEntry(table->entries);
-       for(uint i=0; i<size; i++){
-               deleteTableEntry(getVectorTableEntry(table->entries, i));
-       }
-       deleteVectorTableEntry(table->entries);
-       ourfree(table);
+  deleteInlineArraySet(&table->domains);
+  uint size = getSizeVectorTableEntry(&table->entries);
+  for(uint i=0; i<size; i++){
+    deleteTableEntry(getVectorTableEntry(&table->entries, i));
+  }
+  deleteVectorArrayTableEntry(&table->entries);
+  ourfree(table);
 }