behavior is now in the normal flow of reductions

lip6 · May 5, 2024 · 4652a22 · 4652a22
1 parent 34f1645
commit 4652a22
Showing 1 changed file with 18 additions and 18 deletions.
diff --git a/...move.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/UpperBoundsSolver.java b/...move.gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/UpperBoundsSolver.java
@@ -289,24 +289,24 @@ public static List<Integer> applyReductions(MccTranslator reader, DoneProperties
 
 				sr.setProtected(support);
 
-				boolean foundDead = false;
-				if (iterations >= 1 && !foundDead) {
-					List<Integer> deadPlaces = findDeadPlaces(reader);
-
-					if (!deadPlaces.isEmpty()) {
-						sr.dropSurroundingTransitions(deadPlaces, "Dead places");
-						iter++;
-						foundDead=true;
-					}
-				}
-				if (iterations >= 1 && !foundDead) {
-					List<Integer> deadTransitions = findDeadTransitions(reader);
-
-					if (!deadTransitions.isEmpty()) {
-						sr.dropTransitions(deadTransitions, true, "Dead transitions detected with 'AG(!fireable(t))'");						
-						iter++;
-					}
-				}
+//				boolean foundDead = false;
+//				if (iterations >= 1 && !foundDead) {
+//					List<Integer> deadPlaces = findDeadPlaces(reader);
+//
+//					if (!deadPlaces.isEmpty()) {
+//						sr.dropSurroundingTransitions(deadPlaces, "Dead places");
+//						iter++;
+//						foundDead=true;
+//					}
+//				}
+//				if (iterations >= 1 && !foundDead) {
+//					List<Integer> deadTransitions = findDeadTransitions(reader);
+//
+//					if (!deadTransitions.isEmpty()) {
+//						sr.dropTransitions(deadTransitions, true, "Dead transitions detected with 'AG(!fireable(t))'");						
+//						iter++;
+//					}
+//				}
 
 
 				// a single place, that is one bounded : kill it's consumers