From e9b0295c75cc97a121ba83ced166bf95d9047b7c Mon Sep 17 00:00:00 2001
From: Jan Travnicek <jan.travnicek@.fit.cvut.cz>
Date: Wed, 27 Mar 2019 13:09:33 +0100
Subject: [PATCH] fix DFTA and NFTA to DotConversion
---
alib2aux/src/convert/DotConverter.h | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/alib2aux/src/convert/DotConverter.h b/alib2aux/src/convert/DotConverter.h
index 86a6ad057b..fd0ad794ee 100644
--- a/alib2aux/src/convert/DotConverter.h
+++ b/alib2aux/src/convert/DotConverter.h
@@ -1021,7 +1021,7 @@ void DotConverter::transitions(const automaton::NFTA < SymbolType, RankType, Sta
}
//Print auxilary dots
- for (unsigned i = 1; i < transitions.size(); i++) {
+ for (unsigned i = 1; i <= transitions.size(); i++) {
out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
}
@@ -1071,7 +1071,7 @@ void DotConverter::transitions(const automaton::DFTA < SymbolType, RankType, Sta
}
//Print auxilary dots
- for (unsigned i = 1; i < transitions.size(); i++) {
+ for (unsigned i = 1; i <= transitions.size(); i++) {
out << "node [shape = point, label=\"\"]; " << states.size() + i << ";\n";
}
@@ -1137,7 +1137,7 @@ void DotConverter::transitions(const automaton::DPDA < InputSymbolType, EpsilonT
transitions.insert(std::make_pair(key, symbol));
} else {
mapit->second += ",";
-
+
size_t pos = mapit->second.find_last_of("\n");
if(pos == std::string::npos) pos = 0;
if(mapit->second.size() - pos > 100) mapit->second += "\n";
--
GitLab