From: Hamed <hamed.gorjiara@gmail.com>
Date: Sat, 24 Jun 2017 01:35:28 +0000 (-0700)
Subject: DecideEncoding
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8ff75e4fc5e652712c867f3da3392f8658a81389;p=satune.git

DecideEncoding
---

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);