Merge pull request #206 from DecwLK/reverse_prios

reverse priorities
DecwLK · Mar 18, 2024 · adeaab5 · adeaab5
2 parents 0aa549d + 679411c
commit adeaab5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/main/java/org/gecko/io/AutomatonFileSerializer.java b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
@@ -5,7 +5,6 @@
 import java.nio.file.Files;
 import java.util.ArrayList;
 import java.util.Collection;
-import java.util.Collections;
 import java.util.Comparator;
 import java.util.HashMap;
 import java.util.List;
@@ -117,7 +116,6 @@ private String serializeStateContracts(State state, Automaton automaton) {
         //Building the conditions for the priorities
         List<List<Edge>> groupedEdges =
             new ArrayList<>(edges.stream().collect(Collectors.groupingBy(Edge::getPriority)).values());
-        Collections.reverse(groupedEdges); //This just makes this easier to think about
         List<Condition> preConditionsByPrio = new ArrayList<>();
         for (List<Edge> edgeGroup : groupedEdges) {
             //OrElseThrow because validity needs to be ensured by model