diff --git a/src/main/java/ui/graph/AUTGraph.java b/src/main/java/ui/graph/AUTGraph.java index 2e664ef0ba3660676c791a34055a3be33c4fe2a2..326c6e11600468d0120f91ee06dbff2750df718e 100755 --- a/src/main/java/ui/graph/AUTGraph.java +++ b/src/main/java/ui/graph/AUTGraph.java @@ -1086,14 +1086,23 @@ public class AUTGraph implements myutil.Graph { //printConfiguration(partition, w); - int maxIte = 1000; + int maxIte = 1000; // With same nb of partitions + int nbOfPartitions = w.size(); + int evolution = 10; AUTPartition currentP; - while ((w.size() > 0) && (maxIte > 0)) { + while ((w.size() > 0) && (maxIte > 0) && (evolution > 0)) { + if (w.size() == nbOfPartitions) { + evolution --; + } else { + evolution = 10; + } + nbOfPartitions = w.size(); maxIte--; currentP = w.partitions.get(0); w.partitions.remove(0); + // Simple splitter? if (currentP.blocks.size() == 1) { //TraceManager.addDev("Simple splitter = " + currentP);