Run tabbing pass

[satune.git] / src / Backend / satfuncopencoder.cc

diff --git a/src/Backend/satfuncopencoder.cc b/src/Backend/satfuncopencoder.cc
index 7f7341a7cb8a5c392c6728381e25276a6082034a..695493bb38d583212b44e313690e12794b8fe8e3 100644 (file)
--- a/src/Backend/satfuncopencoder.cc
+++ b/src/Backend/satfuncopencoder.cc
@@ -49,7 +49,7 @@ Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder *This, BooleanPredicate *c
        bool notfinished = true;
        while (notfinished) {
                Edge carray[numDomains];
        bool notfinished = true;
        while (notfinished) {
                Edge carray[numDomains];

-               
+

                if (predicate->evalPredicateOperator(vals) != generateNegation) {
                        //Include this in the set of terms
                        for (uint i = 0; i < numDomains; i++) {
                if (predicate->evalPredicateOperator(vals) != generateNegation) {
                        //Include this in the set of terms
                        for (uint i = 0; i < numDomains; i++) {


@@ -206,14 +206,14 @@ Edge encodeCircuitOperatorPredicateEncoder(SATEncoder *This, BooleanPredicate *c
        ASSERT(ee0->numVars == ee1->numVars);
        uint numVars = ee0->numVars;
        switch (predicate->op) {
        ASSERT(ee0->numVars == ee1->numVars);
        uint numVars = ee0->numVars;
        switch (predicate->op) {

-               case EQUALS:
-                       return generateEquivNVConstraint(This->cnf, numVars, ee0->variables, ee1->variables);
-               case LT:
-                       return generateLTConstraint(This->cnf, numVars, ee0->variables, ee1->variables);
-               case GT:
-                       return generateLTConstraint(This->cnf, numVars, ee1->variables, ee0->variables);
-               default:
-                       ASSERT(0);
+       case EQUALS:
+               return generateEquivNVConstraint(This->cnf, numVars, ee0->variables, ee1->variables);
+       case LT:
+               return generateLTConstraint(This->cnf, numVars, ee0->variables, ee1->variables);
+       case GT:
+               return generateLTConstraint(This->cnf, numVars, ee1->variables, ee0->variables);
+       default:
+               ASSERT(0);

        }
        exit(-1);
 }
        }
        exit(-1);
 }