From 74a052a4ec0ef56eef2b954a35f0b51f46926086 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 8 Aug 2016 16:45:43 +0000
Subject: [PATCH] LTSFromDA: small optimization in getSuccessorsIterator(s,i)

We are based on a DA, so there is only a single sucessor and we need no deduplication.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11590 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/automata/LTSFromDA.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/prism/src/automata/LTSFromDA.java b/prism/src/automata/LTSFromDA.java
index 5da6fcb2..6fd466c4 100644
--- a/prism/src/automata/LTSFromDA.java
+++ b/prism/src/automata/LTSFromDA.java
@@ -27,6 +27,7 @@
 package automata;
 
 import java.util.BitSet;
+import java.util.Collections;
 import java.util.HashSet;
 import java.util.Iterator;
 import java.util.Set;
@@ -214,9 +215,7 @@ public class LTSFromDA extends ModelExplicit implements LTS
 	@Override
 	public Iterator<Integer> getSuccessorsIterator(int s, int i)
 	{
-		Set<Integer> succs = new HashSet<Integer>();
-		succs.add(da.getEdgeDest(s, i));
-		return succs.iterator();
+		return Collections.singleton(da.getEdgeDest(s, i)).iterator();
 	}
 
 	@Override