SchedulerClass: setter return a reference to *this

src/storm/storage/SchedulerClass.cpp

@@ -45,13 +45,15 @@ namespace storm {
             return *this;
         }
         
-        void SchedulerClass::setMemoryPattern(MemoryPattern const& pattern) {
+        SchedulerClass& SchedulerClass::setMemoryPattern(MemoryPattern const& pattern) {
             memoryPattern = pattern;
+            return *this;
         }
         
-        void SchedulerClass::setPositional() {
+        SchedulerClass& SchedulerClass::setPositional() {
             setMemoryPattern(MemoryPattern::Arbitrary);
             setMemoryStates(1);
+            return *this;
         }
        
     }

src/storm/storage/SchedulerClass.h

@@ -1,3 +1,4 @@
+
 #pragma once
 
 #include <cstdint>
@@ -20,11 +21,11 @@ namespace storm {
             MemoryPattern getMemoryPattern() const;
             bool isPositional() const;
             
-            SchedulerClass& setIsDeterministic(bool value);
+            SchedulerClass& setIsDeterministic(bool value = true);
             SchedulerClass& setMemoryStates(uint64_t value);
             SchedulerClass& unsetMemoryStates();
-            void setMemoryPattern(MemoryPattern const& pattern);
-            void setPositional();
+            SchedulerClass& setMemoryPattern(MemoryPattern const& pattern);
+            SchedulerClass& setPositional();
 
         private:
             bool deterministic;