From f0639dbf36902b6587203007fac1fef2571a4ffa Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 17 Jun 2011 19:36:53 +0000 Subject: [PATCH] Comments git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3118 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/CTMCModelChecker.java | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java index 27177be7..19b7f121 100644 --- a/prism/src/explicit/CTMCModelChecker.java +++ b/prism/src/explicit/CTMCModelChecker.java @@ -275,9 +275,11 @@ public class CTMCModelChecker extends DTMCModelChecker /** * Compute transient probabilities. * i.e. compute the probability of being in each state at time {@code t}, - * assuming the initial distribution . + * assuming the initial distribution {@code initDist}. + * For space efficiency, the initial distribution vector will be modified and values over-written, + * so if you wanted it, take a copy. * @param ctmc The CTMC - * @param initDist Initial distribution + * @param initDist Initial distribution (will be overwritten) * @param t Time point */ public ModelCheckerResult computeTransientProbs(CTMC ctmc, double initDist[], double t) throws PrismException