From 9ae9116ff4d746b18c0544816004ec3a60e183ce Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 21 Jul 2017 16:22:19 +0000 Subject: [PATCH] (interval iteration) currently, multi objective model checker should not use interval iteration git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12138 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index b6af8546..1e8f9099 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -491,6 +491,10 @@ public class NondetModelChecker extends NonProbModelChecker boolean hasMaxReward = false; //boolean hasLTLconstraint = false; + if (doIntervalIteration) { + throw new PrismNotSupportedException("Interval iteration currently not supported for multi-objective reasoning"); + } + // Make sure we are only expected to compute a value for a single state, // i.e., that statesOfInterest is a singleton if (!JDD.isSingleton(statesOfInterest, model.getAllDDRowVars())) {