imported patch min-max-ExpressionProbRewardMinMaxConstructor.patch

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
 
 	/**

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)