From 98e0fcd1137ff6bed2c312add2850000b4aeca0b Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 9 Apr 2019 18:53:01 +0200
Subject: [PATCH] jani::Property: Flagged functions of PropertyInterval as
 const

---
 src/storm/storage/jani/Property.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/jani/Property.h b/src/storm/storage/jani/Property.h
index 249920f36..213c2e273 100644
--- a/src/storm/storage/jani/Property.h
+++ b/src/storm/storage/jani/Property.h
@@ -23,11 +23,11 @@ namespace storm {
             storm::expressions::Expression upperBound;
             bool upperBoundStrict = false;
             
-            bool hasLowerBound() {
+            bool hasLowerBound() const {
                 return lowerBound.isInitialized();
             }
             
-            bool hasUpperBound() {
+            bool hasUpperBound() const {
                 return upperBound.isInitialized();
             }
         };