From: bdemsky <bdemsky@uci.edu>
Date: Tue, 20 Jun 2017 06:56:41 +0000 (-0700)
Subject: Remove COMPARE from backend in anticipation of AST changes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=928b67a7a6598f2d57fb5391b50399e079bb9619;p=satune.git

Remove COMPARE from backend in anticipation of AST changes
---

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 2918771..0eb2346 100644
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -31,8 +31,6 @@ Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint) {
 		return encodeVarSATEncoder(This, (BooleanVar *) constraint);
 	case LOGICOP:
 		return encodeLogicSATEncoder(This, (BooleanLogic *) constraint);
-	case COMPARE:
-		return encodeCompareSATEncoder(This, (BooleanComp *) constraint);
 	}
 }
 
@@ -79,7 +77,3 @@ Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint)
 	}
 	return NULL;
 }
-
-Constraint * encodeCompareSATEncoder(SATEncoder *This, BooleanComp * constraint) {
-	return NULL;
-}
diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 5d8722c..ea5de8b 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -16,6 +16,5 @@ Constraint * encodeConstraintSATEncoder(SATEncoder *This, Boolean *constraint);
 Constraint * encodeOrderSATEncoder(SATEncoder *This, BooleanOrder * constraint);
 Constraint * encodeVarSATEncoder(SATEncoder *This, BooleanVar * constraint);
 Constraint * encodeLogicSATEncoder(SATEncoder *This, BooleanLogic * constraint);
-Constraint * encodeCompareSATEncoder(SATEncoder *This, BooleanComp * constraint);
 
 #endif