edits

[satune.git] / src / Encoders / naiveencoder.h

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index db4aeb94ef0b661c3fe50e71776b11f81dbbf0ed..dbc9148d6199d72257498de94791381f3f5417d6 100644 (file)
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -1,5 +1,17 @@
 #ifndef NAIVEELEMENTENCODER_H
 #define NAIVEELEMENTENCODER_H
 #include "classlist.h"
-void baseBinaryIndexElementAssign(ElementEncoding *This);
+#include "structs.h"
+
+/**
+ * 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