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; }