From b4a687ab428935f62e6f8da741696d34a2e69a7f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <peckato1@fit.cvut.cz>
Date: Thu, 20 Feb 2014 17:31:20 +0100
Subject: [PATCH] atrim: Use FSM::getTransitionsFromState()
---
atrim/src/TrimNFA.cpp | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/atrim/src/TrimNFA.cpp b/atrim/src/TrimNFA.cpp
index 1d8badc7b7..bc3c1b46c0 100644
--- a/atrim/src/TrimNFA.cpp
+++ b/atrim/src/TrimNFA.cpp
@@ -52,11 +52,6 @@ const FSM TrimNFA::remove( void )
const set<State> TrimNFA::findReachableStates( void ) const
{
- map<State, set<TransitionFSM>> transitionsBySourceState;
-
- for( auto const & t : m_origFSM.getTransitions( ) )
- transitionsBySourceState[ t.getFrom() ].insert( t );
-
set<State> qprev, qcurr;
qcurr.insert( * m_origFSM.getInitialStates().begin() );
@@ -65,7 +60,7 @@ const set<State> TrimNFA::findReachableStates( void ) const
qprev = qcurr;
for( auto const & p : qprev )
- for( auto const & transition : transitionsBySourceState[ p ] )
+ for( auto const & transition : m_origFSM.getTransitionsFromState( p ) )
qcurr.insert( transition.getTo() );
}
while( qcurr != qprev );
--
GitLab