Remove COMPARE from backend in anticipation of AST changes

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 2918771f7387c3c27c6981f5f52dca6f8f2c9bae..0eb23461961a78d8b8958bfee26f5b56e62a9fba 100644 (file)
--- 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 5d8722ca1415dda78a27ef7bc521dc6e4a63f95d..ea5de8b5dd96689cb1e9ed0126f83504e3b88c79 100644 (file)
--- 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