From bd668dd237f6de2cd2b9e65776ccb2c7a2da59b9 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sun, 15 Jan 2017 16:22:08 +0100
Subject: [PATCH] greatSPN parser fixes - part I

---
 src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp b/src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp
index a1529c053..826124f25 100644
--- a/src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp
+++ b/src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp
@@ -13,8 +13,8 @@ namespace storm {
     namespace parser {
         storm::gspn::GSPN* GreatSpnEditorProjectParser::parse(xercesc::DOMElement const*  elementRoot) {
             if (storm::adapters::XMLtoString(elementRoot->getTagName()) == "project") {
-                GreatSpnEditorProjectParser p;
-                return p.parse(elementRoot);
+                traverseProjectElement(elementRoot);
+                return builder.buildGspn();
             } else {
                 // If the top-level node is not a "pnml" or "" node, then throw an exception.
                 STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Failed to identify the root element.\n");
@@ -311,11 +311,11 @@ namespace storm {
 
 
             if (kind.compare("INPUT") == 0) {
-                builder.addInputArc(head, tail, mult);
+                builder.addInputArc(tail, head, mult);
             } else if (kind.compare("INHIBITOR") == 0) {
-                builder.addInhibitionArc(head, tail, mult);
+                builder.addInhibitionArc(tail, head, mult);
             } else if (kind.compare("OUTPUT") == 0) {
-                builder.addOutputArc(head, tail, mult);
+                builder.addOutputArc(tail, head, mult);
             } else {
                 // TODO error!
             }