Run tabbing pass

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

diff --git a/src/Backend/satencoder.cc b/src/Backend/satencoder.cc
index 91e323d4d4842996076de9054f4a0c39c788fe0b..3dd9933802964758d092a09e34af4cca4cb00433 100644 (file)
--- a/src/Backend/satencoder.cc
+++ b/src/Backend/satencoder.cc
@@ -29,13 +29,13 @@ void deleteSATEncoder(SATEncoder *This) {
 }
 
 void encodeAllSATEncoder(CSolver *csolver, SATEncoder *This) {
-       HSIteratorBoolean *iterator=csolver->getConstraints();
-       while(iterator->hasNext()) {
+       HSIteratorBoolean *iterator = csolver->getConstraints();
+       while (iterator->hasNext()) {
                Boolean *constraint = iterator->next();
                model_print("Encoding All ...\n\n");
                Edge c = encodeConstraintSATEncoder(This, constraint);
                model_print("Returned Constraint in EncodingAll:\n");
-               ASSERT( ! equalsEdge(c, E_BOGUS));
+               ASSERT( !equalsEdge(c, E_BOGUS));
                addConstraintCNF(This->cnf, c);
        }
        delete iterator;