diff --git a/alib2algo/src/automaton/convert/ToRTEStateElimination.h b/alib2algo/src/automaton/convert/ToRTEStateElimination.h index 3f462a790916ac27818a65edc489797e09a953f0..4ac0ee16aa6ed9eeaf220eac4a1e8ef5dc58765f 100644 --- a/alib2algo/src/automaton/convert/ToRTEStateElimination.h +++ b/alib2algo/src/automaton/convert/ToRTEStateElimination.h @@ -147,8 +147,13 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat // - not_take_part(Q) - Q is NOT in sources AND Q is NOT a target // // also identify prev(incoming(Q)), loop(incoming(Q)) - ext::vector< ext::pair< ext::pair< rte::FormalRTEStructure< ext::variant< SymbolType, StateType > >, ext::vector< StateType > >, StateType > > loop, incoming, outgoing; - ext::set< StateType > prev_loop, prev_incoming; + using transitionType = ext::vector< ext::pair< ext::pair< rte::FormalRTEStructure< ext::variant< SymbolType, StateType > >, ext::vector< StateType > >, StateType > >; + transitionType loop; + transitionType incoming; + transitionType outgoing; + + ext::set < StateType > prev_loop; + ext::set < StateType > prev_incoming; for ( const auto& transition : automaton.getTransitions ( ) ) { for ( const StateType& target : transition.second ) {