removed unnecessary counter

speckdavid · May 2, 2024 · 31b9275 · 31b9275
1 parent 31d480e
commit 31b9275
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/misc/style/run-uncrustify.py b/misc/style/run-uncrustify.py
@@ -41,7 +41,7 @@ def main():
     args = parse_args()
     if not args.force and args.modify and search_files_are_dirty():
         sys.exit(f"Error: {SEARCH_DIR} has uncommited changes.")
-    src_files = utils.get_src_files(SEARCH_DIR, (".h", ".cc"), ignore_dirs=["cudd-3.0.0"])
+    src_files = utils.get_src_files(SEARCH_DIR, (".h", ".cc"), ignore_dirs=["cudd-3.0.0", "boost"])
     print(f"Checking {len(src_files)} files with uncrustify.")
     config_file = os.path.join(REPO, ".uncrustify.cfg")
     executable = "uncrustify"

diff --git a/src/search/symbolic/sym_mutexes.cc b/src/search/symbolic/sym_mutexes.cc
@@ -41,8 +41,6 @@ void SymMutexes::init(const shared_ptr<AbstractTask> task, bool genMutexBDD, boo
     vector<BDD> &notMutexBDDs = (fw ? notMutexBDDsFw : notMutexBDDsBw);
 
     // BDD validStates = vars->oneBDD();
-    int num_mutex = 0;
-    int num_invariants = 0;
 
     if (genMutexBDDByFluent) {
         // Initialize structure for notMutexBDDsByFluent
@@ -86,7 +84,6 @@ void SymMutexes::init(const shared_ptr<AbstractTask> task, bool genMutexBDD, boo
             }
 
             if (exactlyOneRelevant) {
-                num_invariants++;
                 if (genMutexBDD) {
                     invariant_bdds_by_fluent[var][val] *= bddInvariant;
                 }
@@ -109,7 +106,6 @@ void SymMutexes::init(const shared_ptr<AbstractTask> task, bool genMutexBDD, boo
                 BDD f2 = sym_vars->preBDD(var2, val2);
                 BDD mBDD = !(f1 * f2);
                 if (genMutexBDD) {
-                    num_mutex++;
                     mBDDByVar[min(var1, var2)] *= mBDD;
                     if (mBDDByVar[min(var1, var2)].nodeCount() > sym_params.max_mutex_size) {
                         notMutexBDDs.push_back(mBDDByVar[min(var1, var2)]);