From 322808db5b938ebdd896a8bb13cbd7fe5e9f10c6 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 4 Jul 2017 10:47:44 +0200
Subject: [PATCH] getting reward name from reward bounded until formula.

---
 src/storm/logic/TimeBoundType.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/storm/logic/TimeBoundType.h b/src/storm/logic/TimeBoundType.h
index 2488baaaf..7200cc89d 100644
--- a/src/storm/logic/TimeBoundType.h
+++ b/src/storm/logic/TimeBoundType.h
@@ -36,6 +36,11 @@ namespace storm {
             bool isRewardBound() const {
                 return type == TimeBoundType::Reward;
             }
+            
+            std::string const& getRewardName() const {
+                assert(isRewardBound());
+                return rewardName;
+            }
         };