Skip to content
Snippets Groups Projects
Commit d8538181 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

tidy: declare only single variable at a time

parent 51e32f09
No related branches found
No related tags found
1 merge request!200clang tidy fixes
Hide whitespace changes
Inline Side-by-side
alib2algo/src/automaton/convert/ToRTEStateElimination.h
+ 7
− 2
View file @ d8538181
...@@ -147,8 +147,13 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat ...@@ -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 // - not_take_part(Q) - Q is NOT in sources AND Q is NOT a target
// //
// also identify prev(incoming(Q)), loop(incoming(Q)) // 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; using transitionType = ext::vector< ext::pair< ext::pair< rte::FormalRTEStructure< ext::variant< SymbolType, StateType > >, ext::vector< StateType > >, StateType > >;
ext::set< StateType > prev_loop, prev_incoming; transitionType loop;
transitionType incoming;
transitionType outgoing;
ext::set < StateType > prev_loop;
ext::set < StateType > prev_incoming;
   
for ( const auto& transition : automaton.getTransitions ( ) ) { for ( const auto& transition : automaton.getTransitions ( ) ) {
for ( const StateType& target : transition.second ) { for ( const StateType& target : transition.second ) {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment