From da58f4e979b0bb4d467730359ffcf191a06b9142 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:24:36 +0100
Subject: [PATCH] tidy: match parameter name in function declaration and
definition
---
.../src/automaton/convert/ToRTEStateElimination.h | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/alib2algo/src/automaton/convert/ToRTEStateElimination.h b/alib2algo/src/automaton/convert/ToRTEStateElimination.h
index 4ac0ee16aa..e6a80f9197 100644
--- a/alib2algo/src/automaton/convert/ToRTEStateElimination.h
+++ b/alib2algo/src/automaton/convert/ToRTEStateElimination.h
@@ -132,13 +132,13 @@ rte::FormalRTEStructure< ext::variant< SymbolType, StateType > > ToRTEStateElimi
}
template < class SymbolType, class StateType >
-automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminateState ( const automaton::ExtendedNFTA< SymbolType, StateType >& automaton, const StateType& q ) {
+automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminateState ( const automaton::ExtendedNFTA< SymbolType, StateType >& automaton, const StateType & state ) {
// create state symbol in RTE's K alphabet
- const rte::FormalRTESymbolSubst< ext::variant< SymbolType, StateType > > stateSymbol ( common::ranked_symbol< ext::variant< SymbolType, StateType > > ( q, 0 ) );
+ const rte::FormalRTESymbolSubst< ext::variant< SymbolType, StateType > > stateSymbol ( common::ranked_symbol< ext::variant< SymbolType, StateType > > ( state, 0 ) );
// create new automaton, without state Q
automaton::ExtendedNFTA< SymbolType, StateType > newAutomaton ( automaton.getStates ( ), automaton.getInputAlphabet ( ), automaton.getFinalStates ( ) );
- newAutomaton.removeState ( q ); // preserve all states but q (the one to eliminate)
+ newAutomaton.removeState ( state ); // preserve all states but state (the one to eliminate)
// divide transitions into the following groups:
// - loop(Q) - Q is in sources AND Q is a target
@@ -159,8 +159,8 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat
for ( const StateType& target : transition.second ) {
const ext::vector< StateType >& src_states = transition.first.second;
- const bool is_source = std::find ( src_states.begin ( ), src_states.end ( ), q ) != src_states.end ( );
- const bool is_target = target == q;
+ const bool is_source = std::find ( src_states.begin ( ), src_states.end ( ), state ) != src_states.end ( );
+ const bool is_target = target == state;
if ( is_source && is_target ) { // loop
loop.push_back ( ext::make_pair ( transition.first, target ) );
@@ -193,7 +193,7 @@ automaton::ExtendedNFTA< SymbolType, StateType > ToRTEStateElimination::eliminat
prevStates.insert ( prev_loop.begin ( ), prev_loop.end ( ) );
prevStates.insert ( prev_incoming.begin ( ), prev_incoming.end ( ) );
prevStates.insert ( tr_src_states.begin ( ), tr_src_states.end ( ) );
- prevStates.erase ( q );
+ prevStates.erase ( state );
rte::FormalRTEStructure< ext::variant< SymbolType, StateType > > rte (
rte::FormalRTESubstitution< ext::variant< SymbolType, StateType > > (
--
GitLab