From 7607a567daf6cc5b3598f95d87e3ada9f6d92b0a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Oct 2010 09:27:23 +0000
Subject: [PATCH] Add isDeterministic() method to TransitionList.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2186 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/TransitionList.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/prism/src/simulator/TransitionList.java b/prism/src/simulator/TransitionList.java
index ee413af5..876344fe 100644
--- a/prism/src/simulator/TransitionList.java
+++ b/prism/src/simulator/TransitionList.java
@@ -241,6 +241,14 @@ public class TransitionList
 		return numChoices == 0;
 	}
 
+	/**
+	 * Are the choices deterministic? (i.e. a single probability 1.0 transition)
+	 */
+	public boolean isDeterministic()
+	{
+		return numTransitions == 1 && getChoice(0).getProbability(0) == 1.0;
+	}
+
 	/**
 	 * Is there a deterministic self-loop, i.e. do all transitions go to the current state.
 	 */