Stutter optimization according to Groote(1990)

rug-ds-lab · Mar 31, 2017 · cf94ba7 · cf94ba7
1 parent b9498fc
commit cf94ba7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/nl/rug/ds/bpm/verification/modelOptimizers/stutterOptimizer/StutterOptimizer.java b/src/nl/rug/ds/bpm/verification/modelOptimizers/stutterOptimizer/StutterOptimizer.java
@@ -62,7 +62,7 @@ public int optimize() {
 						toBeProcessed.addAll(stable);
 						stable.clear();
 					}
-					System.out.println("Split: " + b.toString() + " & " + b2.toString());
+					//System.out.println("Split: " + b.toString() + " & " + b2.toString());
 				}
 			}
 			BL.clear();