From b726a07b3f30e8865fced488e0b7bfae78379b81 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Mon, 3 Dec 2012 10:51:03 +0100
Subject: [PATCH] Small bugfix for the dot output
---
src/models/Dtmc.h | 2 +-
src/utility/utility.cpp | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/models/Dtmc.h b/src/models/Dtmc.h
index 80c1eb18f..8ac46ffee 100644
--- a/src/models/Dtmc.h
+++ b/src/models/Dtmc.h
@@ -110,7 +110,7 @@ public:
*
*/
std::set<std::string> getPropositionsForState(uint_fast32_t state) {
- return stateLabeling->getPropositionsForState(state - 1);
+ return stateLabeling->getPropositionsForState(state);
}
/*!
diff --git a/src/utility/utility.cpp b/src/utility/utility.cpp
index 515fe925e..e2ef43833 100644
--- a/src/utility/utility.cpp
+++ b/src/utility/utility.cpp
@@ -25,7 +25,7 @@ void dtmcToDot(mrmc::models::Dtmc<double>* dtmc, std::string filename) {
file << "digraph dtmc {\n";
//Specify the nodes and their labels
- for (uint_fast64_t i = 1; i <= dtmc->getNumberOfStates(); i++) {
+ for (uint_fast64_t i = 1; i < dtmc->getNumberOfStates(); i++) {
file << "\t" << i << "[label=\"" << i << "\\n{";
char komma=' ';
std::set<std::string> propositions = dtmc->getPropositionsForState(i);