From 535d70f42789b2f1f22f6e8eba8cd7d260e41d35 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 9 Jun 2017 15:32:50 +0200
Subject: [PATCH 1/2] Added missing include

---
 src/storm/api/properties.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/api/properties.h b/src/storm/api/properties.h
index bcc1a8882..c52073105 100644
--- a/src/storm/api/properties.h
+++ b/src/storm/api/properties.h
@@ -4,6 +4,7 @@
 #include <set>
 #include <map>
 #include <vector>
+#include <memory>
 #include <boost/optional.hpp>
 
 namespace storm {

From d893f5a19b5bf0ed68aac7a2a4d33338df34ab9b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 9 Jun 2017 15:33:25 +0200
Subject: [PATCH 2/2] Named variables in api

---
 src/storm/api/builder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/api/builder.h b/src/storm/api/builder.h
index 774100c4f..dab7ac5d5 100644
--- a/src/storm/api/builder.h
+++ b/src/storm/api/builder.h
@@ -116,7 +116,7 @@ namespace storm {
         }
         
         template<typename ValueType>
-        std::shared_ptr<storm::models::sparse::Model<ValueType>> buildExplicitModel(std::string const&, std::string const&, boost::optional<std::string> const& = boost::none, boost::optional<std::string> const& = boost::none, boost::optional<std::string> const& = boost::none) {
+        std::shared_ptr<storm::models::sparse::Model<ValueType>> buildExplicitModel(std::string const& transitionsFile, std::string const& labelingFile, boost::optional<std::string> const& stateRewardsFile = boost::none, boost::optional<std::string> const& transitionRewardsFile = boost::none, boost::optional<std::string> const& choiceLabelingFile = boost::none) {
             STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Exact or parametric models with explicit input are not supported.");
         }