X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FEncoders%2Fnaiveencoder.h;h=dbc9148d6199d72257498de94791381f3f5417d6;hb=fcd1280d92704662fec5ee8bac68cd44619cd5c2;hp=226b5fd325acd2d4e6c268c1c56b6a3c59ce4151;hpb=168c4f3db3fb0ee321d5bbfe227890594dd68499;p=satune.git

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index 226b5fd..dbc9148 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
-void assignEncoding(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);
+/**
+ * The NaiveEncoder assigns a predefined Encoding to each Element and Function.
+ * @param csolver
+ * @param encoder
+ */
+
+void naiveEncodingDecision(CSolver *csolver);
+void naiveEncodingConstraint(Boolean *This);
+void naiveEncodingLogicOp(BooleanLogic *This);
+void naiveEncodingPredicate(BooleanPredicate *This);
+void naiveEncodingElement(Element *This);
 #endif