From d8538181644106559666f6b6195ab3b00508ca30 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Tr=C3=A1vn=C3=AD=C4=8Dek?= <jan.travnicek@fit.cvut.cz>
Date: Fri, 26 Nov 2021 14:44:51 +0100
Subject: [PATCH] tidy: declare only single variable at a time
---
alib2algo/src/automaton/convert/ToRTEStateElimination.h | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/alib2algo/src/automaton/convert/ToRTEStateElimination.h b/alib2algo/src/automaton/convert/ToRTEStateElimination.h
index 3f462a7909..4ac0ee16aa 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 ) {
--
GitLab