From d35a5e4bdd5cf2fef83341728ff00a18068ab482 Mon Sep 17 00:00:00 2001 From: TimQu Date: Wed, 19 Jul 2017 11:39:37 +0200 Subject: [PATCH] returning the time bound type from a timeBoundReference --- src/storm/logic/TimeBoundType.h | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/storm/logic/TimeBoundType.h b/src/storm/logic/TimeBoundType.h index 7200cc89d..0bd6aba0c 100644 --- a/src/storm/logic/TimeBoundType.h +++ b/src/storm/logic/TimeBoundType.h @@ -24,7 +24,10 @@ namespace storm { assert(rewardName != ""); // Empty reward name is reserved. } - + TimeBoundType getType() const { + return type; + } + bool isStepBound() const { return type == TimeBoundType::Steps; }