From 57505840424588462c4249802633f7a4dfffdda6 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 28 May 2018 16:52:43 +0200
Subject: [PATCH] schedulerClass compiles now...

---
 src/storm/storage/SchedulerClass.cpp | 7 +++++--
 src/storm/storage/SchedulerClass.h   | 2 ++
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/SchedulerClass.cpp b/src/storm/storage/SchedulerClass.cpp
index b8e04bc1a..42efb0160 100644
--- a/src/storm/storage/SchedulerClass.cpp
+++ b/src/storm/storage/SchedulerClass.cpp
@@ -1,5 +1,7 @@
 #include "storm/storage/SchedulerClass.h"
 
+#include "storm/utility/macros.h"
+
 namespace storm {
     namespace storage {
         SchedulerClass::SchedulerClass() : deterministic(false), memorystates(0) {
@@ -15,7 +17,8 @@ namespace storm {
         }
         
         uint64_t SchedulerClass::getMemoryStates() const {
-            assert(isMemoryBounded());
+            STORM_LOG_ASSERT(isMemoryBounded(), "Tried to retrieve the number of memory states although it is not bounded.");
+            return memorystates;
         }
         
         
@@ -25,7 +28,7 @@ namespace storm {
         }
         
         SchedulerClass& SchedulerClass::setMemoryStates(uint64_t value) {
-            assert(value > 0);
+            STORM_LOG_ASSERT(value > 0, "Can not set the number of memory states to zero.");
             memorystates = value;
             return *this;
         }
diff --git a/src/storm/storage/SchedulerClass.h b/src/storm/storage/SchedulerClass.h
index 65cba7263..05b32dd16 100644
--- a/src/storm/storage/SchedulerClass.h
+++ b/src/storm/storage/SchedulerClass.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 namespace storm {
     namespace storage {
         class SchedulerClass {