X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=src%2FEncoders%2Fnaiveencoder.h;h=182e3da1027742255ebfd91755c77c51a75ff9bd;hb=35aee732d08ff2b6de1952ff6fda447eefe47683;hp=c1623ebdc911d7ba529fe3687471a98e961f4bed;hpb=45e54be3537667af99238acaf9239a811c7db49e;p=satune.git

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index c1623eb..182e3da 100644
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -1,15 +1,17 @@
 #ifndef NAIVEELEMENTENCODER_H
 #define NAIVEELEMENTENCODER_H
 #include "classlist.h"
+#include "structs.h"
 
-//For now, This function just simply goes through elements/functions and 
-//assigns a predefined Encoding to each of them
+
+
+/**
+ *For now, This function just simply goes through elements/functions and 
+ *assigns a predefined Encoding to each of them 
+ * @param csolver
+ * @param encoder
+ */
 void naiveEncodingDecision(CSolver* csolver);
-void encode(CSolver* csolver);
 void baseBinaryIndexElementAssign(ElementEncoding *This);
-void naiveEncodeFunctionPredicate( FunctionEncoding *This);
-void naiveEncodeCircuitFunction(FunctionEncoding* This);
-void naiveEncodeEnumeratedFunction(FunctionEncoding* This);
-void naiveEncodeEnumTableFunc(ElementFunction* This);
-void naiveEncodeEnumOperatingFunc(ElementFunction* This);
+
 #endif