Fix Quantify runs statistics are not recorded for 'bdd_relnext'

SSoelvsten · Oct 7, 2024 · dce1272 · dce1272
1 parent 5548d33
commit dce1272
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/adiar/bdd/relprod.cpp b/src/adiar/bdd/relprod.cpp
@@ -311,6 +311,9 @@ namespace adiar
     case replace_type::Identity:
 #ifdef ADIAR_STATS
       internal::stats_replace.monotonic_reduces += 1u;
+      internal::stats_quantify.runs += 1u;
+      internal::stats_quantify.nested_sweeps += 1u;
+      internal::stats_quantify.nested_transposition.none += 1;
 #endif
       relnext_quantify_replace_policy quantify_replace_policy(m);
       return internal::nested_sweep<>(ep, std::move(tmp_1), quantify_replace_policy);