From 2e745142faaf4b2ffc13ddd431fccc46f9a16e64 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Sun, 15 Jan 2017 17:12:04 +0100
Subject: [PATCH] gspn builder records names now

---
 src/storm-gspn/storage/gspn/GspnBuilder.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/storm-gspn/storage/gspn/GspnBuilder.cpp b/src/storm-gspn/storage/gspn/GspnBuilder.cpp
index e0bbd76fd..a727ebebf 100644
--- a/src/storm-gspn/storage/gspn/GspnBuilder.cpp
+++ b/src/storm-gspn/storage/gspn/GspnBuilder.cpp
@@ -21,6 +21,7 @@ namespace storm {
             place.setNumberOfInitialTokens(initialTokens);
             place.setName(name);
             places.push_back(place);
+            placeNames.emplace(name, newId);
             return newId;
         }
         
@@ -60,6 +61,8 @@ namespace storm {
                 
             }
             immediateTransitions.push_back(trans);
+            
+            transitionNames.emplace(name, newId);
             return newId;
             
         }
@@ -72,6 +75,8 @@ namespace storm {
             trans.setRate(rate);
             trans.setID(newId);
             timedTransitions.push_back(trans);
+            
+            transitionNames.emplace(name, newId);
             return newId;
         }