DecideEncoding

diff --git a/src/Encoders/naiveencoder.c b/src/Encoders/naiveencoder.c
index 81d77146c473c1414f02c31f262927d07bd99442..83c492f87173aa21165421f9f6665f8d462e1984 100644 (file)
--- 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 226b5fd325acd2d4e6c268c1c56b6a3c59ce4151..7f839e0e55d6f80da23473d706e2771b283ab7e6 100644 (file)
--- 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);