From 09fc23a350e7255b2553cddb6c78d89a6ac14711 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Mon, 28 Aug 2017 12:45:47 +0200 Subject: [PATCH] explicit.MDPModelChecker: prob0/1... methods take MDPGeneric instead of MDP as argument --- prism/src/explicit/MDPModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java index da00daf0..b187fb1a 100644 --- a/prism/src/explicit/MDPModelChecker.java +++ b/prism/src/explicit/MDPModelChecker.java @@ -593,7 +593,7 @@ public class MDPModelChecker extends ProbModelChecker * @param min Min or max probabilities (true=min, false=max) * @param strat Storage for (memoryless) strategy choice indices (ignored if null) */ - public BitSet prob0(MDP mdp, BitSet remain, BitSet target, boolean min, int strat[]) + public BitSet prob0(MDPGeneric mdp, BitSet remain, BitSet target, boolean min, int strat[]) { int n, iters; BitSet u, soln, unknown; @@ -687,7 +687,7 @@ public class MDPModelChecker extends ProbModelChecker * @param min Min or max probabilities (true=min, false=max) * @param strat Storage for (memoryless) strategy choice indices (ignored if null) */ - public BitSet prob1(MDP mdp, BitSet remain, BitSet target, boolean min, int strat[]) + public BitSet prob1(MDPGeneric mdp, BitSet remain, BitSet target, boolean min, int strat[]) { int n, iters; BitSet u, v, soln, unknown;