Make naive encoding follow AST Tree

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

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index 2b9fb87516c302ea1214f1c2a8958dea5a4e7ce8..3d92e1203ebfff677312b3d7bf1156d23d6fb0fd 100644 (file)
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -8,7 +8,12 @@
  * @param csolver
  * @param encoder
  */
+
 void naiveEncodingDecision(CSolver* csolver);
+void naiveEncodingConstraint(Boolean * This);
+void naiveEncodingLogicOp(BooleanLogic * This);
+void naiveEncodingPredicate(BooleanPredicate * This);
+void naiveEncodingElement(Element * This);
 void baseBinaryIndexElementAssign(ElementEncoding *This);
 
 #endif