From 837bdc601d923026480f1a1c23826219265687bc Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 5 Dec 2018 18:08:16 +0100
Subject: [PATCH] Rmin/max[C]: Switch from -hybrid (default) engine to -sparse

As currently there is no support for Rmin/max[C] computations using hybrid engine, and hybrid is the default engine, automatically switch to the sparse engine, similar to what is done for other computations.
---
 prism/src/prism/NondetModelChecker.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 3f317cb2..6142f1bd 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -2174,9 +2174,16 @@ public class NondetModelChecker extends NonProbModelChecker
 	{
 		DoubleVector rewardsDV;
 		StateValues rewards = null;
+		// Local copy of setting
+		int engine = this.engine;
 
 		// compute rewards
 		mainLog.println("\nComputing rewards...");
+		// switch engine, if necessary
+		if (engine == Prism.HYBRID) {
+			mainLog.println("Switching engine since hybrid engine does yet support this computation...");
+			engine = Prism.SPARSE;
+		}
 		mainLog.println("Engine: " + Prism.getEngineString(engine));
 		try {
 			switch (engine) {