From ffa3809f352f3397cf078aceea505282d15d26b2 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:24:33 +0200
Subject: [PATCH] imported patch tarjan-arraydeque.patch

---
 prism/src/explicit/SCCComputerTarjan.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index 15570c47..18d43a9f 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -27,10 +27,10 @@
 
 package explicit;
 
+import java.util.ArrayDeque;
 import java.util.ArrayList;
 import java.util.BitSet;
 import java.util.Deque;
-import java.util.LinkedList;
 import java.util.function.IntPredicate;
 
 import prism.PrismComponent;
@@ -49,7 +49,7 @@ public class SCCComputerTarjan extends SCCComputer
 	/* Next index to give to a node */
 	private int index = 0;
 	/* Stack of nodes */
-	private Deque<Integer> stack = new LinkedList<Integer>();
+	private Deque<Integer> stack = new ArrayDeque<Integer>();
 	/* List of nodes in the graph. Invariant: {@code nodeList.get(i).id == i} */
 	private ArrayList<Node> nodeList;
 	/* Nodes currently on the stack. */