From d85e6848b19d1fb32205e217adb5330f2bce7ad5 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Fri, 10 Nov 2017 10:36:01 +0100
Subject: [PATCH] improvements in DFA string parser
---
alib2str/src/automaton/string/FSM/DFA.h | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/alib2str/src/automaton/string/FSM/DFA.h b/alib2str/src/automaton/string/FSM/DFA.h
index f03091a206..c500749341 100644
--- a/alib2str/src/automaton/string/FSM/DFA.h
+++ b/alib2str/src/automaton/string/FSM/DFA.h
@@ -93,7 +93,7 @@ void stringApi < automaton::DFA < SymbolType, StateType > >::parseTransition(std
states.insert(from);
if ( initial ) {
if(initialState != NULL)
- throw exception::CommonException("Multiple initial states are not avaiable for NFA type");
+ throw exception::CommonException("Multiple initial states are not avaiable for DFA type");
initialState = new StateType(from);
}
if ( final )
@@ -111,11 +111,9 @@ void stringApi < automaton::DFA < SymbolType, StateType > >::parseTransition(std
StateType to = alib::stringApi<StateType>::parse(input);
states.insert(to);
transitionFunction.insert(ext::make_tuple(from, *iter, to));
-
- token = automaton::AutomatonFromStringLexer::next(input);
- } else {
- token = automaton::AutomatonFromStringLexer::next(input);
}
+ token = automaton::AutomatonFromStringLexer::next(input);
+
++iter;
}
automaton::AutomatonFromStringLexer::putback(input, token);
--
GitLab