From b273d6475c0128d8fcd990baaa12a9965ab4ab02 Mon Sep 17 00:00:00 2001 From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz> Date: Sun, 26 Oct 2014 19:54:16 +0100 Subject: [PATCH] revert use getTransitionsFromState --- .../src/automaton/properties/EpsilonClosure.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/alib2algo/src/automaton/properties/EpsilonClosure.cpp b/alib2algo/src/automaton/properties/EpsilonClosure.cpp index b91b08d470..c5b0717d00 100644 --- a/alib2algo/src/automaton/properties/EpsilonClosure.cpp +++ b/alib2algo/src/automaton/properties/EpsilonClosure.cpp @@ -43,8 +43,8 @@ std::set<automaton::State> EpsilonClosure::epsilonClosure( const automaton::Epsi visited[ p ] = true; closure.insert( p ); - for( const auto & transition : fsm.getTransitions( ) ) - if( transition.first.second.is<string::Epsilon>() && transition.first.first == p) + for( const auto & transition : fsm.getTransitionsFromState( p ) ) + if( transition.first.second.is<string::Epsilon>() ) for (const auto & to : transition.second ) if( visited [ to ] == false ) queue.push( to ); @@ -95,8 +95,8 @@ std::set<automaton::State> EpsilonClosure::epsilonClosure( const automaton::Exte visited[ p ] = true; closure.insert( p ); - for( const auto & transition : fsm.getTransitions( ) ) - if( transition.first.first == p && regexp::properties::RegExpEpsilon::languageContainsEpsilon( transition.first.second ) ) + for( const auto & transition : fsm.getTransitionsFromState( p ) ) + if( regexp::properties::RegExpEpsilon::languageContainsEpsilon( transition.first.second ) ) for (const auto & to : transition.second ) if( visited [ to ] == false ) queue.push( to ); @@ -123,8 +123,8 @@ std::set<automaton::State> EpsilonClosure::epsilonClosure( const automaton::Comp visited[ p ] = true; closure.insert( p ); - for( const auto & transition : fsm.getTransitions( ) ) - if( transition.first.first == p && transition.first.second.getContent().size() == 0 ) + for( const auto & transition : fsm.getTransitionsFromState( p ) ) + if( transition.first.second.getContent().size() == 0 ) for (const auto & to : transition.second ) if( visited [ to ] == false ) queue.push( to ); -- GitLab