From ac4046c5be4f9b5db12eaaa37d4afb0147c9feb9 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 16:25:01 +0100
Subject: [PATCH] tidy: declare variables separately
---
alib2algo/src/automaton/convert/ToRTEStateElimination.h | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/alib2algo/src/automaton/convert/ToRTEStateElimination.h b/alib2algo/src/automaton/convert/ToRTEStateElimination.h
index e6a80f9197..9e7f3ae0f3 100644
--- a/alib2algo/src/automaton/convert/ToRTEStateElimination.h
+++ b/alib2algo/src/automaton/convert/ToRTEStateElimination.h
@@ -176,8 +176,9 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat
}
}
- const rte::FormalRTEStructure< ext::variant< SymbolType, StateType > > rte_loop = createAlternation ( loop ),
- rte_incoming = createAlternation ( incoming );
+ using edgeLabelType = rte::FormalRTEStructure< ext::variant< SymbolType, StateType > >;
+ const edgeLabelType rte_loop = createAlternation ( loop );
+ const edgeLabelType rte_incoming = createAlternation ( incoming );
// eliminate all incoming and outgoing transitions as follows:
// for every outgoing transition:
--
GitLab