From 8ff75e4fc5e652712c867f3da3392f8658a81389 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Fri, 23 Jun 2017 18:35:28 -0700
Subject: [PATCH] DecideEncoding

---
 src/Encoders/naiveencoder.c | 2 +-
 src/Encoders/naiveencoder.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Encoders/naiveencoder.c b/src/Encoders/naiveencoder.c
index 81d7714..83c492f 100644
--- a/src/Encoders/naiveencoder.c
+++ b/src/Encoders/naiveencoder.c
@@ -11,7 +11,7 @@
 #include "table.h"
 #include <strings.h>
 
-void assignEncoding(CSolver* csolver){
+void makeEncodingDecisions(CSolver* csolver){
 	uint size = getSizeVectorElement(csolver->allElements);
 	for(uint i=0; i<size; i++){
 		Element* element = getVectorElement(csolver->allElements, i);
diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index 226b5fd..7f839e0 100644
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -4,7 +4,7 @@
 
 //For now, This function just simply goes through elements/functions and 
 //assigns a predefined Encoding to each of them
-void assignEncoding(CSolver* csolver);
+void makeEncodingDecisions(CSolver* csolver);
 void encode(CSolver* csolver);
 void baseBinaryIndexElementAssign(ElementEncoding *This);
 void naiveEncodeFunctionPredicate( FunctionEncoding *This);
-- 
2.34.1