From b164e1f4fed467f5b1dec6fb22dbb192f3769470 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 7 Jul 2016 14:54:04 +0200
Subject: [PATCH] Started on framework for DFT2GSPN

Former-commit-id: eb544a085b70e8137cd127775d7ec57bd8b73239
---
 README                                        | 19 +++++++++++++-
 .../dft/DftToGspnTransformator.cpp            | 24 ++++++++++++++++++
 .../dft/DftToGspnTransformator.h              | 25 +++++++++++++++++++
 3 files changed, 67 insertions(+), 1 deletion(-)
 create mode 100644 src/transformations/dft/DftToGspnTransformator.cpp
 create mode 100644 src/transformations/dft/DftToGspnTransformator.h

diff --git a/README b/README
index d44ccec2e..fdf8ca963 100644
--- a/README
+++ b/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
diff --git a/src/transformations/dft/DftToGspnTransformator.cpp b/src/transformations/dft/DftToGspnTransformator.cpp
new file mode 100644
index 000000000..5ad88338d
--- /dev/null
+++ b/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
+
+
diff --git a/src/transformations/dft/DftToGspnTransformator.h b/src/transformations/dft/DftToGspnTransformator.h
new file mode 100644
index 000000000..fdc368a66
--- /dev/null
+++ b/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*/