From d309f8c74883e40b78e0b60400a26836f5cdab3d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 14 Jun 2016 13:39:59 +0000 Subject: [PATCH] Comment fix. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11406 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ProbModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/ProbModelChecker.java b/prism/src/explicit/ProbModelChecker.java index da30ec0f..40f9d1a5 100644 --- a/prism/src/explicit/ProbModelChecker.java +++ b/prism/src/explicit/ProbModelChecker.java @@ -553,7 +553,7 @@ public class ProbModelChecker extends NonProbModelChecker * @param model The model * @param expr The P operator expression * @param forAll Are we checking "for all strategies" (true) or "there exists a strategy" (false)? [irrelevant for numerical (=?) queries] - * @param coalition If relevant, info about which set of players this P operator refers to + * @param coalition If relevant, info about which set of players this P operator refers to (null if irrelevant) * @param statesOfInterest the states of interest, see checkExpression() */ protected StateValues checkExpressionProb(Model model, ExpressionProb expr, boolean forAll, Coalition coalition, BitSet statesOfInterest) throws PrismException