Adaption to changes in storm-dft

setup.py

@@ -14,7 +14,7 @@ if sys.version_info[0] == 2:
     sys.exit('Sorry, Python 2.x is not supported')
 
 # Minimal storm version required
-storm_min_version = "1.4.2"
+storm_min_version = "1.5.1"
 
 # Get the long description from the README file
 with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f:

src/dft/dft.cpp

@@ -3,6 +3,7 @@
 #include "storm-dft/storage/dft/DFT.h"
 #include "storm/settings/SettingsManager.h"
 #include "storm-dft/settings/modules/FaultTreeSettings.h"
+#include "storm-dft/settings/modules/DftIOSettings.h"
 
 
 template<typename ValueType> using DFT = storm::storage::DFT<ValueType>;
@@ -12,6 +13,7 @@ void define_dft(py::module& m) {
 
     m.def("_set_up", []() {
             storm::settings::addModule<storm::settings::modules::FaultTreeSettings>();
+            storm::settings::addModule<storm::settings::modules::DftIOSettings>();
         }, "Initialize Storm-dft");