From bf6258bd868d3f3e75a813b0c7c6c8dd2a33c059 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Sun, 13 Aug 2017 14:53:11 +0200
Subject: [PATCH] builder options have uniform signature

---
 src/storm/builder/BuilderOptions.cpp |  8 ++++----
 src/storm/builder/BuilderOptions.h   | 12 ++++++------
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/src/storm/builder/BuilderOptions.cpp b/src/storm/builder/BuilderOptions.cpp
index 6e42745fd..b0d2641bd 100644
--- a/src/storm/builder/BuilderOptions.cpp
+++ b/src/storm/builder/BuilderOptions.cpp
@@ -157,8 +157,8 @@ namespace storm {
             return buildAllLabels;
         }
         
-        BuilderOptions& BuilderOptions::setBuildAllRewardModels() {
-            buildAllRewardModels = true;
+        BuilderOptions& BuilderOptions::setBuildAllRewardModels(bool newValue) {
+            buildAllRewardModels = newValue;
             return *this;
         }
 
@@ -185,8 +185,8 @@ namespace storm {
             return *this;
         }
         
-        BuilderOptions& BuilderOptions::setBuildAllLabels() {
-            buildAllLabels = true;
+        BuilderOptions& BuilderOptions::setBuildAllLabels(bool newValue) {
+            buildAllLabels = newValue;
             return *this;
         }
         
diff --git a/src/storm/builder/BuilderOptions.h b/src/storm/builder/BuilderOptions.h
index a06de50eb..28660e4b5 100644
--- a/src/storm/builder/BuilderOptions.h
+++ b/src/storm/builder/BuilderOptions.h
@@ -97,17 +97,17 @@ namespace storm {
             bool isExplorationShowProgressSet() const;
             uint64_t getExplorationShowProgressDelay() const;
             
-            BuilderOptions& setBuildAllRewardModels();
+            BuilderOptions& setBuildAllRewardModels(bool newValue = true);
             BuilderOptions& addRewardModel(std::string const& rewardModelName);
-            BuilderOptions& setBuildAllLabels();
+            BuilderOptions& setBuildAllLabels(bool newValue = true);
             BuilderOptions& addLabel(storm::expressions::Expression const& expression);
             BuilderOptions& addLabel(std::string const& labelName);
             BuilderOptions& addTerminalExpression(storm::expressions::Expression const& expression, bool value);
             BuilderOptions& addTerminalLabel(std::string const& label, bool value);
-            BuilderOptions& setBuildChoiceLabels(bool newValue);
-            BuilderOptions& setBuildStateValuations(bool newValue);
-            BuilderOptions& setBuildChoiceOrigins(bool newValue);
-            BuilderOptions& setExplorationChecks(bool newValue);
+            BuilderOptions& setBuildChoiceLabels(bool newValue = true);
+            BuilderOptions& setBuildStateValuations(bool newValue = true);
+            BuilderOptions& setBuildChoiceOrigins(bool newValue = true);
+            BuilderOptions& setExplorationChecks(bool newValue = true);
             
         private:
             /// A flag that indicates whether all reward models are to be built. In this case, the reward model names are