Add IFF support

[satune.git] / src / ASTAnalyses / polarityassignment.cc

diff --git a/src/ASTAnalyses/polarityassignment.cc b/src/ASTAnalyses/polarityassignment.cc
index 38f32aebbcf2bde972bb019e7cb2f10dfb836c1c..14789304b49a797d74a14e4da5af02b6008dcd76 100644 (file)
--- a/src/ASTAnalyses/polarityassignment.cc
+++ b/src/ASTAnalyses/polarityassignment.cc
@@ -95,6 +95,7 @@ void computeLogicOpPolarity(BooleanLogic *This) {
                updatePolarity(tmp, negatePolarity(parentpolarity));
                break;
        }
+       case SATC_IFF:
        case SATC_XOR: {
                updatePolarity(This->inputs.get(0), P_BOTHTRUEFALSE);
                updatePolarity(This->inputs.get(1), P_BOTHTRUEFALSE);
@@ -144,6 +145,7 @@ void computeLogicOpBooleanValue(BooleanLogic *This) {
                        updateMustValue(This->inputs.get(1), parentbv);
                }
                return;
+       case SATC_IFF:
        case SATC_XOR:
                return;
        default: