Edits

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5f2be2e2807dfe1d9f14118e119692ab9ce680b7..a2f96d5457bb8f0d7b717466c22f2fff480fa7fa 100644 (file)
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -1,4 +1,6 @@
 #include "satencoder.h"
 #include "satencoder.h"

+#include "structs.h"
+#include "csolver.h"

 
 SATEncoder * allocSATEncoder() {
        SATEncoder *This=ourmalloc(sizeof (SATEncoder));
 
 SATEncoder * allocSATEncoder() {
        SATEncoder *This=ourmalloc(sizeof (SATEncoder));


@@ -8,3 +10,16 @@ SATEncoder * allocSATEncoder() {
 void deleteSATEncoder(SATEncoder *This) {
        ourfree(This);
 }
 void deleteSATEncoder(SATEncoder *This) {
        ourfree(This);
 }

+
+void encodeAllSATEncoder(SATEncoder * This, CSolver *csolver) {
+       VectorBoolean *constraints=csolver->constraints;
+       uint size=getSizeVectorBoolean(constraints);
+       for(uint i=0;i<size;i++) {
+               Boolean *constraint=getVectorBoolean(constraints, i);
+               encodeConstraintSATEncoder(This, constraint);
+       }
+}
+
+void encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint) {
+
+}

diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 04c492346807fb85824750b080bcfef886ea1b2c..9145e2b40ab56dd9ec8308fdff368215939b04c0 100644 (file)
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -10,5 +10,6 @@ struct SATEncoder {
 
 SATEncoder * allocSATEncoder();
 void deleteSATEncoder(SATEncoder *This);
 
 SATEncoder * allocSATEncoder();
 void deleteSATEncoder(SATEncoder *This);

-
+void encodeAllSATEncoder(SATEncoder *This, CSolver *csolver);
+void encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);

 #endif
 #endif