From 332f2c5d3914c127d8e52b6b4e84bb989bb28294 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Fri, 5 Sep 2014 16:07:26 +0200 Subject: [PATCH] Fix different instances due to macro --- alib2algo/src/fa2re/BrzozowskiAlgebraic.cpp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/alib2algo/src/fa2re/BrzozowskiAlgebraic.cpp b/alib2algo/src/fa2re/BrzozowskiAlgebraic.cpp index 53746f5902..3cee454517 100644 --- a/alib2algo/src/fa2re/BrzozowskiAlgebraic.cpp +++ b/alib2algo/src/fa2re/BrzozowskiAlgebraic.cpp @@ -48,10 +48,11 @@ regexp::UnboundedRegExp BrzozowskiAlgebraic::convert( void ) regexp::UnboundedRegExpAlternation* alt = new regexp::UnboundedRegExpAlternation( ); alt->appendElement( regexp::UnboundedRegExpEmpty { } ); - for( const auto & symbol : m_automaton.getInputAlphabet( ) ) - if ( isInSet( q , m_automaton.getTransitionsFromState( p )[std::make_pair( p, symbol )] ) ) + for( const auto & symbol : m_automaton.getInputAlphabet( ) ) { + auto toStates = m_automaton.getTransitionsFromState(p)[std::make_pair(p, symbol)]; + if ( isInSet( q , toStates ) ) alt->appendElement( regexp::UnboundedRegExpSymbol { symbol } ); - + } solver.addEquation( alphabet::Symbol( alphabet::LabeledSymbol ( p.getName( ) ) ), alphabet::Symbol( alphabet::LabeledSymbol( q.getName( ) ) ), alt ); } } -- GitLab