From d98540b86a19cd06b47d5da5c518e456e01807ae Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:26:11 +0200 Subject: [PATCH] imported patch symb-common-ModelCheckers.public.checkUntilProbs.patch --- prism/src/prism/NondetModelChecker.java | 2 +- prism/src/prism/ProbModelChecker.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 61148f25..8727ca45 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -1156,7 +1156,7 @@ public class NondetModelChecker extends NonProbModelChecker * @param qual True if only qualititative (0/1) results are needed * @param min Min or max probabilities (true=min, false=max) */ - protected StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual, boolean min) throws PrismException + public StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual, boolean min) throws PrismException { JDDNode splus, newb1, newb2; StateValues probs = null; diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java index 19380c52..bba52d18 100644 --- a/prism/src/prism/ProbModelChecker.java +++ b/prism/src/prism/ProbModelChecker.java @@ -807,7 +807,7 @@ public class ProbModelChecker extends NonProbModelChecker * @param qual perform qualitative model checking? *
[ REFS: result, DEREFS: none ] */ - protected StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual) throws PrismException + public StateValues checkProbUntil(JDDNode b1, JDDNode b2, boolean qual) throws PrismException { StateValues probs = null;