From 81f9bcc62758e6dd12f815401aeda29f3812b02c Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 21 Nov 2016 22:06:11 +0100 Subject: [PATCH] gspn dot output fixed --- src/storm/storage/gspn/GSPN.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/storage/gspn/GSPN.cpp b/src/storm/storage/gspn/GSPN.cpp index 87d123619..a97d15fd1 100644 --- a/src/storm/storage/gspn/GSPN.cpp +++ b/src/storm/storage/gspn/GSPN.cpp @@ -169,7 +169,7 @@ namespace storm { if (trans.getInhibitionPlaces().count(outEntry.first) == 1) { outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[arrowtail=\"dot\", label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "") << "\", dir=both];" << std::endl; } else if (trans.getInputPlaces().count(outEntry.first) == 1) { - outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[arrowtail=\"dot\", label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "")<< "\", dir=both];" << std::endl; + outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "")<< "\", dir=both];" << std::endl; } else { outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "") << "\"];" << std::endl; } @@ -193,7 +193,7 @@ namespace storm { if (trans.getInhibitionPlaces().count(outEntry.first) == 1) { outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[arrowtail=\"dot\", label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "") << "\", dir=both];" << std::endl; } else if (trans.getInputPlaces().count(outEntry.first) == 1) { - outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[arrowtail=\"dot\", label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "")<< "\", dir=both];" << std::endl; + outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "")<< "\", dir=both];" << std::endl; } else { outStream << "\t" << trans.getName() << " -> " << places.at(outEntry.first).getName() << "[label=\"" << (outEntry.second > 1 ? std::to_string(outEntry.second) : "") << "\"];" << std::endl; }