From fde2287c8b112261d602b802d744a03f97f94cd0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 17 Jun 2011 20:48:38 +0000
Subject: [PATCH] Bugfix: simulator should not show zero prob/rate transitions.

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

diff --git a/prism/src/simulator/Updater.java b/prism/src/simulator/Updater.java
index 78c159fb..55227ef9 100644
--- a/prism/src/simulator/Updater.java
+++ b/prism/src/simulator/Updater.java
@@ -311,6 +311,9 @@ public class Updater
 				// probability expression has probably been simplified from original form.
 				throw new PrismLangException(s, ups);
 			}
+			// Skip transitions with zero probability/rate
+			if (p == 0)
+				continue;
 			sum += p;
 			list = new ArrayList<Update>();
 			list.add(ups.getUpdate(i));