From 3d8d95b33b94c3437eca2b529d06d110fc20f911 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 28 Nov 2017 16:13:49 +0100
Subject: [PATCH] allow empty multi initial state NFA
---
alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h | 5 +----
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h b/alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h
index c595aa05ce..22d34cb076 100644
--- a/alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h
+++ b/alib2str/src/automaton/string/FSM/MultiInitialStateNFA.h
@@ -38,7 +38,7 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > stringApi < automaton:
ext::vector<SymbolType> symbols;
token = automaton::AutomatonFromStringLexer::next(input);
- while(token.type != automaton::AutomatonFromStringLexer::TokenType::NEW_LINE) {
+ while(token.type != automaton::AutomatonFromStringLexer::TokenType::NEW_LINE && token.type != automaton::AutomatonFromStringLexer::TokenType::TEOF) {
automaton::AutomatonFromStringLexer::putback(input, token);
SymbolType symbol = alib::stringApi<SymbolType>::parse(input);
res.addInputSymbol(symbol);
@@ -47,9 +47,6 @@ automaton::MultiInitialStateNFA < SymbolType, StateType > stringApi < automaton:
token = automaton::AutomatonFromStringLexer::next(input);
}
- parseTransition(input, res, symbols);
- token = automaton::AutomatonFromStringLexer::next(input);
-
while(token.type == automaton::AutomatonFromStringLexer::TokenType::NEW_LINE) {
token = automaton::AutomatonFromStringLexer::next(input);
if(token.type == automaton::AutomatonFromStringLexer::TokenType::TEOF)
--
GitLab