Started on framework for DFT2GSPN

Former-commit-id: eb544a085b

README

@@ -1,4 +1,21 @@
+# Create build directory for storm
 mkdir build
+
+# Go to build directory
 cd build
+
+# Configure the project
 cmake ..
-make storm-main
+# If you want an interactive configuration, try "ccmake ..". Then you can press "c" to initially configure the project, change your values and then press "g" to generate the Makefile
+
+# After generating the Makefile you can build the resources we need for the project
+make resources
+
+# Now we build the main project for DFTs
+make storm-dft-main
+
+# Last you can run an example
+./src/storm-dft -dft ../examples/dft/and.dft -mttf
+
+# To get a list of all available arguments run
+./src/storm-dft --help

src/transformations/dft/DftToGspnTransformator.cpp

@@ -0,0 +1,24 @@
+#include "src/transformations/dft/DftToGspnTransformator.h"
+
+namespace storm {
+    namespace transformations {
+        namespace dft {
+
+            template <typename ValueType>
+            DftToGspnTransformator<ValueType>::DftToGspnTransformator(storm::storage::DFT<ValueType> const& dft) : mDft(dft) {
+                // Intentionally left empty
+            }
+
+
+            // Explicitly instantiate the class.
+            template class DftToGspnTransformator<double>;
+
+    #ifdef STORM_HAVE_CARL
+            template class DftToGspnTransformator<storm::RationalFunction>;
+    #endif
+
+        } // namespace dft
+    } // namespace transformations
+} // namespace storm
+
+

src/transformations/dft/DftToGspnTransformator.h

@@ -0,0 +1,25 @@
+#ifndef DFTTOGSPNTRANSFORMATOR_H
+#define DFTTOGSPNTRANSFORMATOR_H
+
+#include <src/storage/dft/DFT.h>
+
+namespace storm {
+    namespace transformations {
+        namespace dft {
+
+            template<typename ValueType>
+            class DftToGspnTransformator {
+
+            public:
+                DftToGspnTransformator(storm::storage::DFT<ValueType> const& dft);
+
+            private:
+
+                storm::storage::DFT<ValueType> const& mDft;
+
+            };
+        }
+    }
+}
+
+#endif /* DFTTOGSPNTRANSFORMATOR_H*/