From b99faf59a2c8c627fca42a1f6305e725117e9ef2 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 16 Nov 2016 17:54:24 +0100
Subject: [PATCH] gspn to dot: output priorities

Former-commit-id: 48b8842420d41f9525217c1486ad21eb14e0bc0b [formerly 27ab912cca7904adf8dcba6e8d781e9bccb5ec6b]
Former-commit-id: 8a94cbdb5b322d901d152d45943230e231dee988
---
 src/storm/storage/gspn/GSPN.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/gspn/GSPN.cpp b/src/storm/storage/gspn/GSPN.cpp
index c06cc0672..db075dee0 100644
--- a/src/storm/storage/gspn/GSPN.cpp
+++ b/src/storm/storage/gspn/GSPN.cpp
@@ -143,7 +143,7 @@ namespace storm {
             outStream << "\t" << "node [shape=box]" << std::endl;
             
             for (auto& trans : this->getImmediateTransitions()) {
-                outStream << "\t" << trans->getName() << " [fontcolor=white, style=filled, fillcolor=black, label=\"" << trans->getName() << "\"];" << std::endl;
+                outStream << "\t" << trans.getName() << " [fontcolor=white, style=filled, fillcolor=black, label=<" << trans.getName() << "<br/><FONT POINT-SIZE=\"10\"> π = " + std::to_string(trans.getPriority()) << "</FONT>>];" << std::endl;
             }
             
             for (auto& trans : this->getTimedTransitions()) {