From 7e21b4c610923724a07126b8d73527894ff853a5 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Tue, 27 Jun 2017 10:00:25 -0700
Subject: [PATCH] Moving back getBinaryConstraint

---
 src/AST/element.c        | 10 ----------
 src/Backend/constraint.c | 10 ++++++++++
 2 files changed, 10 insertions(+), 10 deletions(-)

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];
-- 
2.34.1