Don't reencode expressions that are already encoded

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

diff --git a/src/Encoders/naiveencoder.h b/src/Encoders/naiveencoder.h
index fe84a2b64eb874b13fc6ba284e1dba3080feb5b6..b07fd2fb0470e7c356d8bcca64c321799242ce36 100644 (file)
--- a/src/Encoders/naiveencoder.h
+++ b/src/Encoders/naiveencoder.h
@@ -10,8 +10,8 @@
  */
 
 void naiveEncodingDecision(CSolver *csolver);
-void naiveEncodingConstraint(CSolver *csolver, Boolean *This);
-void naiveEncodingLogicOp(CSolver *csolver, BooleanLogic *This);
+void naiveEncodingConstraint(CSolver *csolver, HashsetBoolean *visited, Boolean *This);
+void naiveEncodingLogicOp(CSolver *csolver, HashsetBoolean *visited, BooleanLogic *This);
 void naiveEncodingPredicate(CSolver *csolver, BooleanPredicate *This);
 void naiveEncodingElement(CSolver *csolver, Element *This);
 #endif