From 033faa62f028e25b3dfee14b6fcb00ebd6b5624c Mon Sep 17 00:00:00 2001 From: dehnert Date: Tue, 16 Aug 2016 23:15:21 +0200 Subject: [PATCH] changed node shapes a little Former-commit-id: 8c7fffaf65bd64b7598d2dfc6d10ce7c992dc066 --- src/abstraction/prism/AbstractProgram.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/abstraction/prism/AbstractProgram.cpp b/src/abstraction/prism/AbstractProgram.cpp index a0854e54a..7a1b2255f 100644 --- a/src/abstraction/prism/AbstractProgram.cpp +++ b/src/abstraction/prism/AbstractProgram.cpp @@ -222,9 +222,9 @@ namespace storm { out << stateName.str(); out << " [ label=\""; if (stateValue.first.getBooleanValue(abstractionInformation.getBottomStateVariable(true))) { - out << "*"; + out << "*\", margin=0, width=0, height=0, shape=\"none"; } else { - out << stateName.str(); + out << stateName.str() << "\", margin=0, width=0, height=0, shape=\"oval"; } out << "\" ];" << std::endl; } @@ -249,7 +249,7 @@ namespace storm { } } out << stateName.str() << "_" << index; - out << " [ shape=\"square\", label=\"\" ];" << std::endl; + out << " [ shape=\"square\", width=0, height=0, margin=0, label=\"" << index << "\" ];" << std::endl; out << "\tpl1_" << stateName.str() << " -> " << "pl2_" << stateName.str() << "_" << index << " [ label=\"" << index << "\" ];" << std::endl; } @@ -280,7 +280,7 @@ namespace storm { index |= 1; } } out << stateName.str() << "_" << index; - out << " [ shape=\"diamond\", label=\"\" ];" << std::endl; + out << " [ shape=\"point\", label=\"\" ];" << std::endl; out << "\tpl2_" << stateName.str() << " -> " << "plp_" << stateName.str() << "_" << index << " [ label=\"" << index << "\" ];" << std::endl; }