Edits
[satune.git] / src / Backend / satencoder.h
index 04c4923..9145e2b 100644 (file)
@@ -10,5 +10,6 @@ struct SATEncoder {
 
 SATEncoder * allocSATEncoder();
 void deleteSATEncoder(SATEncoder *This);
-
+void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
+void encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
 #endif