From 900c1007286b42cfdaac78d9211de38fd8c2c37c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 23 Oct 2009 13:00:48 +0000
Subject: [PATCH] DTMC transition count bugfix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1544 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMC.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/explicit/DTMC.java b/prism/src/explicit/DTMC.java
index 0a56fdc1..24e00aa9 100644
--- a/prism/src/explicit/DTMC.java
+++ b/prism/src/explicit/DTMC.java
@@ -115,11 +115,10 @@ public class DTMC extends Model
 	/**
 	 * Set the probability for a transition. 
 	 */
-
 	public void setProbability(int i, int j, double prob)
 	{
 		Distribution distr = trans.get(i);
-		if (distr.get(i) == 0.0)
+		if (distr.get(i) != 0.0)
 			numTransitions--;
 		if (prob != 0.0)
 			numTransitions++;