diff --git a/src/storm/logic/Bound.h b/src/storm/logic/Bound.h
index 21f2c7282..a39edb5dc 100644
--- a/src/storm/logic/Bound.h
+++ b/src/storm/logic/Bound.h
@@ -16,6 +16,21 @@ namespace storm {
             ComparisonType comparisonType;
             storm::expressions::Expression threshold;
 
+            template <typename ValueType>
+            bool isSatisfied(ValueType const& compareValue) {
+                ValueType thresholdAsValueType = storm::utility::convertNumber<ValueType>(threshold.evaluateAsRational());
+                switch(comparisonType) {
+                    case ComparisonType::Greater:
+                        return compareValue > thresholdAsValueType;
+                    case ComparisonType::GreaterEqual:
+                        return compareValue >= thresholdAsValueType;
+                    case ComparisonType::Less:
+                        return compareValue < thresholdAsValueType;
+                    case ComparisonType::LessEqual:
+                        return compareValue <= thresholdAsValueType;
+                }
+            }
+
             friend std::ostream& operator<<(std::ostream& out, Bound const& bound);
         };