add new class files

Former-commit-id: 76f60aa718

src/parser/GspnParser.cpp

@@ -0,0 +1,5 @@
+#include "src/parser/GspnParser.h"
+
+storm::gspn::GSPN storm::parser::GspnParser::parse(const std::string &filename) {
+    return storm::gspn::GSPN();
+}

src/parser/GspnParser.h

@@ -1,9 +1,23 @@
 #ifndef STORM_GSPNPARSER_H
 #define STORM_GSPNPARSER_H
 
+#include <string>
+#include "src/storage/gspn/GSPN.h"
+
 namespace storm {
     namespace parser {
         // Parses a GSPN in xml format
+        class GspnParser {
+        public:
+            /*!
+             * Parses the given file into the GSPN storage class assuming it complies with the PNML.
+             *
+             * @param filename The name of the file to parse
+             * @return The resulting GSPN.
+             */
+            static storm::gspn::GSPN parse(std::string const& filename);
+        private:
+        };
     }
 }
 

src/storage/gspn/GSPN.cpp

@@ -0,0 +1,4 @@
+#include "src/storage/gspn/GSPN.h"
+
+storm::gspn::GSPN::GSPN() : initialMarking(0, 0) {
+}

src/storage/gspn/GSPN.h

@@ -14,6 +14,11 @@ namespace storm {
             // Later, the rates and probabilities type should become a template, for now, let it be doubles.
             typedef double RateType;
             typedef double WeightType;
+
+            /*!
+             * The empty constructor creates an GSPN without transition and places
+             */
+            GSPN();
         private:
             // set containing all immediate transitions
             std::vector<storm::gspn::ImmediateTransition<WeightType>> immediateTransitions;