From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 27 Jun 2017 17:00:25 +0000 (-0700)
Subject: Moving back getBinaryConstraint
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7e21b4c610923724a07126b8d73527894ff853a5;p=satune.git

Moving back getBinaryConstraint
---

diff --git a/src/AST/element.c b/src/AST/element.c
index 8711529..4116cc1 100644
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -62,16 +62,6 @@ Constraint * getElementValueConstraint(Element* This, uint64_t value) {
 	return NULL;
 }
 
-Constraint * generateBinaryConstraint(uint numvars, Constraint ** vars, uint value) {
-	Constraint *carray[numvars];
-	for(uint j=0;j<numvars;j++) {
-		carray[j]=((value&1)==1) ? vars[j] : negateConstraint(vars[j]);
-		value=value>>1;
-	}
-
-	return allocArrayConstraint(AND, numvars, carray);
-}
-
 void deleteElement(Element *This) {
 	switch(GETELEMENTTYPE(This)) {
 	case ELEMFUNCRETURN: {
diff --git a/src/Backend/constraint.c b/src/Backend/constraint.c
index 27db299..b491ca3 100644
--- a/src/Backend/constraint.c
+++ b/src/Backend/constraint.c
@@ -186,6 +186,16 @@ Constraint * cloneConstraint(Constraint * This) {
 	}
 }
 
+Constraint * generateBinaryConstraint(uint numvars, Constraint ** vars, uint value) {
+	Constraint *carray[numvars];
+	for(uint j=0;j<numvars;j++) {
+		carray[j]=((value&1)==1) ? vars[j] : negateConstraint(vars[j]);
+		value=value>>1;
+	}
+
+	return allocArrayConstraint(AND, numvars, carray);
+}
+
 /** Generates a constraint to ensure that all encodings are less than value */
 Constraint * generateLTConstraint(uint numvars, Constraint ** vars, uint value) {
 	Constraint *orarray[numvars];