From: bdemsky <bdemsky@uci.edu>
Date: Mon, 19 Jun 2017 23:27:57 +0000 (-0700)
Subject: Edits
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=ce9861ea40336fcb93260a5f6c1f6f442b7c3d3f

Edits
---

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5f2be2e..a2f96d5 100644
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -1,4 +1,6 @@
 #include "satencoder.h"
+#include "structs.h"
+#include "csolver.h"
 
 SATEncoder * allocSATEncoder() {
 	SATEncoder *This=ourmalloc(sizeof (SATEncoder));
@@ -8,3 +10,16 @@ SATEncoder * allocSATEncoder() {
 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 04c4923..9145e2b 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -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