(interval iteration) total reward computation is not supported yet, throw error message

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12154 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/DTMCModelChecker.java

@@ -349,6 +349,10 @@ public class DTMCModelChecker extends ProbModelChecker
 		int n, numBSCCs = 0;
 		long timer;
 
+		if (getDoIntervalIteration()) {
+			throw new PrismNotSupportedException("Interval iteration for total rewards is currently not supported");
+		}
+
 		// Switch to a supported method, if necessary
 		if (!(linEqMethod == LinEqMethod.POWER)) {
 			linEqMethod = LinEqMethod.POWER;

prism/src/explicit/MDPModelChecker.java

@@ -1931,6 +1931,9 @@ public class MDPModelChecker extends ProbModelChecker
 			mdpSolnMethod = MDPSolnMethod.GAUSS_SEIDEL;
 			mainLog.printWarning("Switching to MDP solution method \"" + mdpSolnMethod.fullName() + "\"");
 		}
+		if (getDoIntervalIteration()) {
+			throw new PrismNotSupportedException("Interval iteration for total rewards is currently not supported");
+		}
 
 		// Start expected total reward
 		timer = System.currentTimeMillis();

prism/src/prism/NondetModelChecker.java

@@ -2185,6 +2185,10 @@ public class NondetModelChecker extends NonProbModelChecker
 		// Local copy of setting
 		int engine = this.engine;
 
+		if (doIntervalIteration) {
+			throw new PrismNotSupportedException("Interval iteration for total rewards is currently not supported");
+		}
+
 		// Start expected total reward
 		mainLog.println("\nStarting total expected reward (max)...");
 

prism/src/prism/ProbModelChecker.java

@@ -1727,6 +1727,10 @@ public class ProbModelChecker extends NonProbModelChecker
 		JDDNode notInBSCCs = null;
 		int numBSCCs = 0;
 
+		if (doIntervalIteration) {
+			throw new PrismNotSupportedException("Interval iteration for total rewards is currently not supported");
+		}
+
 		// Compute bottom strongly connected components (BSCCs)
 		SCCComputer sccComputer = prism.getSCCComputer(model);
 		sccComputer.computeBSCCs();