Fixing spell of entries

diff --git a/src/AST/table.c b/src/AST/table.c
index a4606ff0cdd82b45633359afb5f9206a92e9dd29..6b3863e5893ef9919d32c30b803bb358cab4af3a 100644 (file)
--- a/src/AST/table.c
+++ b/src/AST/table.c
@@ -8,7 +8,7 @@
 Table * allocTable(Set **domains, uint numDomain, Set * range){
        Table* This = (Table*) ourmalloc(sizeof(Table));
        initArrayInitSet(&This->domains, domains, numDomain);
-       This->entrie= allocHashSetTableEntry(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
+       This->entries= allocHashSetTableEntry(HT_INITIAL_CAPACITY, HT_DEFAULT_FACTOR);
        This->range =range;
        return This;
 }
@@ -20,26 +20,26 @@ void addNewTableEntry(Table* This, uint64_t* inputs, uint inputSize, uint64_t re
                ASSERT(result == true || result == false);
 #endif
        TableEntry* tb = allocTableEntry(inputs, inputSize, result);
-       ASSERT(!containsHashSetTableEntry(This->entrie, tb));
-       bool status= addHashSetTableEntry(This->entrie, tb);
+       ASSERT(!containsHashSetTableEntry(This->entries, tb));
+       bool status= addHashSetTableEntry(This->entries, tb);
        ASSERT(status);
 }
 
 TableEntry* getTableEntryFromTable(Table* table, uint64_t* inputs, uint inputSize){
        TableEntry* temp = allocTableEntry(inputs, inputSize, -1);
-       TableEntry* result= getHashSetTableEntry(table->entrie, temp);
+       TableEntry* result= getHashSetTableEntry(table->entries, temp);
        deleteTableEntry(temp);
        return result;
 }
 
 void deleteTable(Table* This){
   deleteInlineArraySet(&This->domains);
-  HSIteratorTableEntry* iterator = iteratorTableEntry(This->entrie);
+  HSIteratorTableEntry* iterator = iteratorTableEntry(This->entries);
   while(hasNextTableEntry(iterator)){
          deleteTableEntry( nextTableEntry(iterator) );
   }
   deleteIterTableEntry(iterator);
-  deleteHashSetTableEntry(This->entrie);
+  deleteHashSetTableEntry(This->entries);
   ourfree(This);
 }
 

diff --git a/src/AST/table.h b/src/AST/table.h
index f465a47f2530b02ab7ba50ac64d598b4716faa43..970882a1cec43266d2b19db0b83d168dc39098d4 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -7,7 +7,7 @@
 struct Table {
        ArraySet domains;
        Set * range;
-       HashSetTableEntry* entrie;
+       HashSetTableEntry* entries;
 };
 
 Table * allocTable(Set ** domains, uint numDomain, Set * range);

diff --git a/src/Backend/satfunctableencoder.c b/src/Backend/satfunctableencoder.c
index 8ed9a2c761c62fc7f6eeefa361f017e1add592eb..64b5efb6f2b3a0d4bcdcbfc4bc60e55737567b54 100644 (file)
--- a/src/Backend/satfunctableencoder.c
+++ b/src/Backend/satfunctableencoder.c
@@ -19,10 +19,10 @@ Edge encodeEnumEntriesTablePredicateSATEncoder(SATEncoder * This, BooleanPredica
        for(uint i=0; i<inputNum; i++){
                encodeElementSATEncoder(This, getArrayElement(inputs, i));
        }
-       uint size = getSizeHashSetTableEntry(table->entrie);
+       uint size = getSizeHashSetTableEntry(table->entries);
        bool generateNegation = encType == ENUMERATEIMPLICATIONSNEGATE;
        Edge constraints[size];
-       HSIteratorTableEntry* iterator = iteratorTableEntry(table->entrie);
+       HSIteratorTableEntry* iterator = iteratorTableEntry(table->entries);
        uint i=0;
        while(hasNextTableEntry(iterator)){
                TableEntry* entry = nextTableEntry(iterator);
@@ -51,9 +51,9 @@ void encodeEnumEntriesTableElemFuncSATEncoder(SATEncoder* This, ElementFunction*
        ASSERT(undefStatus == IGNOREBEHAVIOR || undefStatus == FLAGFORCEUNDEFINED);
        ArrayElement* elements= &func->inputs;
        Table* table = ((FunctionTable*) (func->function))->table;
-       uint size = getSizeHashSetTableEntry(table->entrie);
+       uint size = getSizeHashSetTableEntry(table->entries);
        Edge constraints[size];
-       HSIteratorTableEntry* iterator = iteratorTableEntry(table->entrie);
+       HSIteratorTableEntry* iterator = iteratorTableEntry(table->entries);
        uint i=0;
        while(hasNextTableEntry(iterator)) {
                TableEntry* entry = nextTableEntry(iterator);