#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
+ * The NaiveEncoder assigns a predefined Encoding to each Element and Function.
* @param csolver
* @param encoder
*/
-void naiveEncodingDecision(CSolver* csolver, SATEncoder* encoder);
-void baseBinaryIndexElementAssign(ElementEncoding *This);
+void naiveEncodingDecision(CSolver *csolver);
+void naiveEncodingConstraint(CSolver *csolver, Boolean *This);
+void naiveEncodingLogicOp(CSolver *csolver, BooleanLogic *This);
+void naiveEncodingPredicate(CSolver *csolver, BooleanPredicate *This);
+void naiveEncodingElement(CSolver *csolver, Element *This);
#endif