From 46d8accf6e9f38d06729bb14c9c576c8d531c4ea Mon Sep 17 00:00:00 2001 From: sjunges Date: Wed, 2 Sep 2015 19:44:10 +0200 Subject: [PATCH] logic::comparisontype operations Former-commit-id: fdcb275bc87656aa32d492120d5a5ed43461c0e2 --- src/logic/ComparisonType.h | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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); } }