bugfix

Author: tonibohnlein

include/osp/dag_divider/isomorphism_divider/OrbitGraphProcessor.hpp

@@ -72,6 +72,7 @@ class OrbitGraphProcessor {
 
     size_t symmetry_threshold_ = 2;
     static constexpr bool verbose = false;
+    v_workw_t<Constr_Graph_t> work_threshold_ = 80;
 
     void merge_small_orbits(const Graph_t &original_dag, Constr_Graph_t& current_coarse_graph, std::vector<Group>& current_groups, std::vector<VertexType>& current_contraction_map, const v_workw_t<Constr_Graph_t> work_threshold) {
 
@@ -86,7 +87,7 @@ class OrbitGraphProcessor {
             changed = false;
             for (const auto u : current_coarse_graph.vertices()) {
                 for (const auto v : current_coarse_graph.children(u)) {                   
-
+ 
                     const v_workw_t<Constr_Graph_t> u_work_weight = current_coarse_graph.vertex_work_weight(u);
                     const v_workw_t<Constr_Graph_t> v_work_weight = current_coarse_graph.vertex_work_weight(v);
 
@@ -177,7 +178,11 @@ class OrbitGraphProcessor {
                     changed = true;
                     break; // Restart scan on the new, smaller graph
                 }
+                if (changed) {
+                    break;
+                }
             }
+            // If a change was made, the outer while loop will continue, restarting the scan.
         }
     }
 
@@ -228,8 +233,8 @@ class OrbitGraphProcessor {
                 const bool both_below_symmetry_threshold =
                     (current_groups[u].size() < symmetry_threshold_) &&
                     (current_groups[v].size() <
-                     symmetry_threshold_); // && (not ((current_groups[u].size() == 1 && current_groups[v].size() > 1)
-                                           // || (current_groups[u].size() > 1 && current_groups[v].size() == 1)));
+                     symmetry_threshold_) && (not ((current_groups[u].size() == 1 && current_groups[v].size() > 1)
+                                              || (current_groups[u].size() > 1 && current_groups[v].size() == 1)));
 
                 if (error) {
                     if constexpr (verbose) {
@@ -324,6 +329,8 @@ class OrbitGraphProcessor {
      */
     void set_symmetry_threshold(size_t threshold) { symmetry_threshold_ = threshold; }
 
+    void set_work_threshold(v_workw_t<Constr_Graph_t> work_threshold) { work_threshold_ = work_threshold; }
+
     /**
      * @brief Discovers isomorphic groups (orbits) and constructs a coarse graph.
      * @param dag The input computational DAG.
@@ -382,7 +389,7 @@ class OrbitGraphProcessor {
         }
         contract_edges(original_dag, current_coarse_graph, current_groups, current_contraction_map, false, true);
         contract_edges(original_dag, current_coarse_graph, current_groups, current_contraction_map, true, true);
-        merge_small_orbits(original_dag, current_coarse_graph, current_groups, current_contraction_map, 80);
+        merge_small_orbits(original_dag, current_coarse_graph, current_groups, current_contraction_map, work_threshold_);
 
         // --- Finalize ---
         final_coarse_graph_ = std::move(current_coarse_graph);