From e8923a97fe7b2b8bb5ea265d0ad120168141f8ce Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 16 May 2006 08:29:11 +0000
Subject: [PATCH] Optimisation for CSL S operator (skip reach probs when
 irrelevant).

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

diff --git a/prism/src/prism/StochModelChecker.java b/prism/src/prism/StochModelChecker.java
index 42d10a23..708ca1b2 100644
--- a/prism/src/prism/StochModelChecker.java
+++ b/prism/src/prism/StochModelChecker.java
@@ -1045,6 +1045,9 @@ public class StochModelChecker implements ModelChecker
 			// compute probabilities of reaching each bscc...
 			for (i = 0; i < n; i++) {
 				
+				// skip bsccs with zero probability
+				if (probBSCCs[i] == 0.0) continue;
+				
 				mainLog.println("\nComputing probabilities of reaching BSCC " + (i+1));
 				
 				// get bscc