From d031786defdc7f49aad43e40f523499336ac8aef Mon Sep 17 00:00:00 2001 From: Tomas Pecka <peckato1@fit.cvut.cz> Date: Tue, 10 Jul 2018 15:23:59 +0200 Subject: [PATCH] Fix build --- alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp index e98fd37840..b416f53ca8 100644 --- a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp +++ b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp @@ -40,8 +40,8 @@ regexp::UnboundedRegExp < > ToRegExpStateElimination::convert(const T& automaton extendedAutomaton = eliminateState(extendedAutomaton, state); // step 4 - regexp::UnboundedRegExpStructure < DefaultSymbolType > finalStateLoop = regexp::RegExpIterate::iterate ( transition(extendedAutomaton, *extendedAutomaton.getFinalStates().begin(), *extendedAutomaton.getFinalStates().begin())); - regexp::UnboundedRegExpStructure < DefaultSymbolType > initialToFinalState = regexp::RegExpConcatenate::concatenate ( transition(extendedAutomaton, extendedAutomaton.getInitialState(), *extendedAutomaton.getFinalStates().begin()),finalStateLoop ); + regexp::UnboundedRegExpStructure < DefaultSymbolType > finalStateLoop = regexp::RegExpIterate::iterate ( transitionsToRegExp ( extendedAutomaton, *extendedAutomaton.getFinalStates().begin(), *extendedAutomaton.getFinalStates().begin())); + regexp::UnboundedRegExpStructure < DefaultSymbolType > initialToFinalState = regexp::RegExpConcatenate::concatenate ( transitionsToRegExp ( extendedAutomaton, extendedAutomaton.getInitialState(), *extendedAutomaton.getFinalStates().begin()),finalStateLoop ); return regexp::UnboundedRegExp < > (regexp::simplify::RegExpOptimize::optimize(initialToFinalState)); } -- GitLab