From f8c7b90c69a57f01f0adc2ec70fc944753f617da 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 3f7239a2..8788d971 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -1157,7 +1157,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 22d909c0..4e775e73 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;