From e19cf404380aa98f3d2fac2eee121273e7588d15 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:26:15 +0200
Subject: [PATCH] imported patch
 min-max-ExpressionProbRewardMinMaxConstructor.patch

---
 prism/src/parser/ast/ExpressionProb.java   | 9 +++++++++
 prism/src/parser/ast/ExpressionReward.java | 9 +++++++++
 2 files changed, 18 insertions(+)

diff --git a/prism/src/parser/ast/ExpressionProb.java b/prism/src/parser/ast/ExpressionProb.java
index c3032c47..a01c1440 100644
--- a/prism/src/parser/ast/ExpressionProb.java
+++ b/prism/src/parser/ast/ExpressionProb.java
@@ -26,6 +26,7 @@
 
 package parser.ast;
 
+import explicit.MinMax;
 import param.BigRational;
 import parser.EvaluateContext;
 import parser.Values;
@@ -48,6 +49,14 @@ public class ExpressionProb extends ExpressionQuant
 		setBound(p);
 	}
 
+	public ExpressionProb(Expression expression, MinMax minMax, String relOpString, Expression p) throws PrismLangException
+	{
+		setExpression(expression);
+		setMinMax(minMax);
+		setRelOp(relOpString);
+		setBound(p);
+	}
+
 	// Set methods
 
 	/**
diff --git a/prism/src/parser/ast/ExpressionReward.java b/prism/src/parser/ast/ExpressionReward.java
index 4d59c5d9..34f95687 100644
--- a/prism/src/parser/ast/ExpressionReward.java
+++ b/prism/src/parser/ast/ExpressionReward.java
@@ -26,6 +26,7 @@
 
 package parser.ast;
 
+import explicit.MinMax;
 import param.BigRational;
 import parser.EvaluateContext;
 import parser.Values;
@@ -53,6 +54,14 @@ public class ExpressionReward extends ExpressionQuant
 		setBound(r);
 	}
 
+	public ExpressionReward(Expression expression, MinMax minMax, String relOpString, Expression r) throws PrismLangException
+	{
+		setExpression(expression);
+		setMinMax(minMax);
+		setRelOp(relOpString);
+		setBound(r);
+	}
+
 	// Set methods
 	
 	public void setRewardStructIndex(Object o)