From 2e75bec74953c017a15c1b551c8cd6465e522aae Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:26:00 +0200
Subject: [PATCH] imported patch
 rewardcounter-IntegerBounds.isInBoundForConjunction.patch

---
 prism/src/prism/IntegerBound.java | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/prism/src/prism/IntegerBound.java b/prism/src/prism/IntegerBound.java
index 4bd87b38..c726d801 100644
--- a/prism/src/prism/IntegerBound.java
+++ b/prism/src/prism/IntegerBound.java
@@ -270,6 +270,17 @@ public class IntegerBound
 		return saturation;
 	}
 
+	/**
+	 * Returns {@code true} iff {@code value} is in bound for all {@code bounds}
+	 */
+	public static boolean isInBoundForConjunction(List<IntegerBound> bounds, int value) {
+		boolean in_bound = true;
+		for (IntegerBound bound : bounds) {
+			in_bound &= bound.isInBounds(value);
+		}
+		return in_bound;
+	}
+
 	public static void main(String args[])
 	{
 		System.out.println(new IntegerBound(1, true, 3, false));