From 2fb49bc16e215d13879d3fe49b69ce8c722547c1 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sun, 2 Feb 2020 23:10:52 +0100
Subject: [PATCH] fix normalization of multi initial state epsilon NFA
---
alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h b/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
index f1a5d99ca7..bdbeb74d98 100644
--- a/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
+++ b/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
@@ -1050,7 +1050,7 @@ struct normalize < automaton::MultiInitialStateEpsilonNFA < SymbolType, StateTyp
static automaton::MultiInitialStateEpsilonNFA < > eval ( automaton::MultiInitialStateEpsilonNFA < SymbolType, StateType > && value ) {
ext::set < DefaultSymbolType > alphabet = alphabet::SymbolNormalize::normalizeAlphabet ( std::move ( value ).getInputAlphabet ( ) );
ext::set < DefaultStateType > states = automaton::AutomatonNormalize::normalizeStates ( std::move ( value ).getStates ( ) );
- ext::set < DefaultStateType > initialStates = automaton::AutomatonNormalize::normalizeState ( std::move ( value ).getInitialStates ( ) );
+ ext::set < DefaultStateType > initialStates = automaton::AutomatonNormalize::normalizeStates ( std::move ( value ).getInitialStates ( ) );
ext::set < DefaultStateType > finalStates = automaton::AutomatonNormalize::normalizeStates ( std::move ( value ).getFinalStates ( ) );
automaton::MultiInitialStateEpsilonNFA < > res ( std::move ( states ), std::move ( alphabet ), std::move ( initialStates ), std::move ( finalStates ) );
@@ -1058,7 +1058,7 @@ struct normalize < automaton::MultiInitialStateEpsilonNFA < SymbolType, StateTyp
for ( std::pair < ext::pair < StateType, common::symbol_or_epsilon < SymbolType > >, StateType > && transition : ext::make_mover ( std::move ( value ).getTransitions ( ) ) ) {
DefaultStateType from = automaton::AutomatonNormalize::normalizeState ( std::move ( transition.first.first ) );
common::symbol_or_epsilon < DefaultSymbolType > input = automaton::AutomatonNormalize::normalizeSymbolEpsilon ( std::move ( transition.first.second ) );
- DefaultStateType target = automaton::AutomatonNormalize::normalizeStates ( std::move ( transition.second ) );
+ DefaultStateType target = automaton::AutomatonNormalize::normalizeState ( std::move ( transition.second ) );
res.addTransition ( std::move ( from ), std::move ( input ), std::move ( target ) );
}
--
GitLab