logic::comparisontype operations

Former-commit-id: fdcb275bc8

src/logic/ComparisonType.h

@@ -7,6 +7,13 @@ 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);
 	}
 }