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

@@ -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