From 798dd1e8594884221055380a2249a6ece3dfe164 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 21 Jul 2017 14:01:02 +0000
Subject: [PATCH] Distribution: provide constructor from Iterator over the
 transitions (Entry<Integer, Double>)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12117 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/Distribution.java | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/prism/src/explicit/Distribution.java b/prism/src/explicit/Distribution.java
index e9a45e8f..b47a474c 100644
--- a/prism/src/explicit/Distribution.java
+++ b/prism/src/explicit/Distribution.java
@@ -55,12 +55,19 @@ public class Distribution implements Iterable<Entry<Integer, Double>>
 	 * Copy constructor.
 	 */
 	public Distribution(Distribution distr)
+	{
+		this(distr.iterator());
+	}
+
+	/**
+	 * Construct a distribution from an iterator over transitions.
+	 */
+	public Distribution(Iterator<Entry<Integer, Double>> transitions)
 	{
 		this();
-		Iterator<Entry<Integer, Double>> i = distr.iterator();
-		while (i.hasNext()) {
-			Map.Entry<Integer, Double> e = i.next();
-			add(e.getKey(), e.getValue());
+		while (transitions.hasNext()) {
+			final Entry<Integer, Double> trans = transitions.next();
+			add(trans.getKey(), trans.getValue());
 		}
 	}