format

Z3Prover · Apr 22, 2022 · 5a2c92f · 5a2c92f
1 parent 81189d6
commit 5a2c92f
Showing 1 changed file with 7 additions and 11 deletions.
diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h
@@ -38,9 +38,8 @@ class max_cliques : public T {
         m_todo.push_back(p);
         for (unsigned i = 0; i < m_todo.size(); ++i) {
             p = m_todo[i];
-            if (m_seen1.contains(p)) {
-                continue;
-            }
+            if (m_seen1.contains(p)) 
+                continue;            
             m_seen1.insert(p);
             if (m_seen2.contains(p)) {
                 unsigned_vector const& tc = m_tc[p];
@@ -50,14 +49,12 @@ class max_cliques : public T {
             }
             else {
                 unsigned np = negate(p);
-                if (goal.contains(np)) {
-                    reachable.insert(np);
-                }
+                if (goal.contains(np)) 
+                    reachable.insert(np);                
                 m_todo.append(next(np));
             }
         }
-        for (unsigned i = m_todo.size(); i > 0; ) {
-            --i;
+        for (unsigned i = m_todo.size(); i-- > 0; ) {            
             p = m_todo[i];
             if (m_seen2.contains(p)) 
                 continue;
@@ -209,9 +206,8 @@ class max_cliques : public T {
                 unsigned_vector mux;
                 for (unsigned x : am1)
                     mux.push_back(x);
-                if (mux.size() == 2 && mux[0] == negate(mux[1])) {
-                    continue;
-                }
+                if (mux.size() == 2 && mux[0] == negate(mux[1])) 
+                    continue;                
                 cliques.push_back(mux);
             }
         }