From dab2d648087f675851da27a4700245cba27fa535 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Jul 2013 18:58:16 +0000 Subject: [PATCH] Clarifications in comments. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7093 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/ProbModelChecker.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 36821a49..b0611ca4 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -622,7 +622,8 @@ public class ProbModelChecker extends NonProbModelChecker JDD.Ref(model.getReach()); startMask = JDD.And(model.getReach(), startMask); probsProduct.filter(startMask); - // Then sum over DD vars for the DRA state + // Then sum over DD vars for the DRA state (could also have used, + // e.g. max, since there is just one state for each valuation of draDDRowVars) probs = probsProduct.sumOverDDVars(draDDRowVars, model); // Deref, clean up