From 13ac4c4427caf987cbfb076325df0aac318cf349 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Wed, 19 Jul 2017 19:22:54 -0700
Subject: [PATCH] Fixing spell of entries

---
 src/AST/table.c                   | 12 ++++++------
 src/AST/table.h                   |  2 +-
 src/Backend/satfunctableencoder.c |  8 ++++----
 3 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/src/AST/table.c b/src/AST/table.c
index a4606ff..6b3863e 100644
--- 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 f465a47..970882a 100644
--- 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 8ed9a2c..64b5efb 100644
--- 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);
-- 
2.34.1