added sort of next candidates by last modified symbol name to make the

choice deterministic

bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/dse/TabuExploration.java

@@ -3,6 +3,8 @@ package fr.irisa.cairn.gecos.typeexploration.dse;
 import static java.util.stream.Collectors.toList;
 
 import java.util.ArrayList;
+import java.util.Collections;
+import java.util.Comparator;
 import java.util.LinkedList;
 import java.util.List;
 
@@ -302,6 +304,14 @@ public class TabuExploration extends AbstractExplorationAlgorithm {
 			nextSolutionCandidates.get(i).currentSolution.setNote("selected", "F");
 		}
 		
+		Collections.sort(nextSolutionCandidates, new Comparator<WordLengthsExplorer>() {
+			@Override
+			public int compare(WordLengthsExplorer o1, WordLengthsExplorer o2) {
+				return o1.getLastModifiedSymbol().getName().compareTo(o2.getLastModifiedSymbol().getName());
+			}
+			
+		});
+		
 		final WordLengthsExplorer nextBest;
 		if(directionUp) {
 			nextBest = criteria.stream()