(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

@@ -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())) {