diff --git a/src/logic/ComparisonType.h b/src/logic/ComparisonType.h
index 61dbe53bb..ccfff25b6 100644
--- a/src/logic/ComparisonType.h
+++ b/src/logic/ComparisonType.h
@@ -6,7 +6,14 @@
 namespace storm {
 	namespace logic {
 		enum class ComparisonType { Less, LessEqual, Greater, GreaterEqual };
-        
+         
+                inline bool isStrict(ComparisonType t) {
+                    return (t == ComparisonType::Less || t == ComparisonType::Greater);
+                }
+                
+                inline bool isLowerBound(ComparisonType t) {
+                    return (t == ComparisonType::Greater || t == ComparisonType::GreaterEqual);
+                }
         std::ostream& operator<<(std::ostream& out, ComparisonType const& comparisonType);
 	}
 }