@@ -52,7 +52,7 @@ class IsomorphicSubgraphScheduler {
5252 bool plot_dot_graphs_ = false ;
5353 v_workw_t <Constr_Graph_t> work_threshold_ = 10 ;
5454 v_workw_t <Constr_Graph_t> critical_path_threshold_ = 10 ;
55- double orbit_lock_ratio = 0.2 ;
55+ double orbit_lock_ratio_ = 0.2 ;
5656 bool merge_different_node_types = true ;
5757 bool allow_use_trimmed_scheduler = true ;
5858
@@ -69,7 +69,7 @@ class IsomorphicSubgraphScheduler {
6969 void setMergeDifferentTypes (bool flag) {merge_different_node_types = flag;}
7070 void setWorkThreshold (v_workw_t <Constr_Graph_t> work_threshold) {work_threshold_ = work_threshold;}
7171 void setCriticalPathThreshold (v_workw_t <Constr_Graph_t> critical_path_threshold) {critical_path_threshold_ = critical_path_threshold;}
72- void setOrbitLockRatio (double orbit_lock_ratio) {orbit_lock_ratio = orbit_lock_ratio;}
72+ void setOrbitLockRatio (double orbit_lock_ratio) {orbit_lock_ratio_ = orbit_lock_ratio;}
7373 void setAllowTrimmedScheduler (bool flag) {allow_use_trimmed_scheduler = flag;}
7474 void set_symmetry (size_t symmetry) { symmetry_ = symmetry; }
7575 void setMinSymmetry (size_t min_symmetry) { min_symmetry_ = min_symmetry; }
@@ -86,7 +86,7 @@ class IsomorphicSubgraphScheduler {
8686 orbit_processor.set_work_threshold (work_threshold_);
8787 orbit_processor.setMergeDifferentNodeTypes (merge_different_node_types);
8888 orbit_processor.setCriticalPathThreshold (critical_path_threshold_);
89- orbit_processor.setLockRatio (orbit_lock_ratio );
89+ orbit_processor.setLockRatio (orbit_lock_ratio_ );
9090 orbit_processor.setMinSymmetry (min_symmetry_);
9191
9292
0 commit comments