From 928b67a7a6598f2d57fb5391b50399e079bb9619 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 19 Jun 2017 23:56:41 -0700 Subject: [PATCH] Remove COMPARE from backend in anticipation of AST changes --- src/Backend/satencoder.c | 6 ------ src/Backend/satencoder.h | 1 - 2 files changed, 7 deletions(-) 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 -- 2.34.1