From 27055eff2c1c96dd7fd4f3c9646a013bc6bddb6e Mon Sep 17 00:00:00 2001
From: Tomas Pecka <peckato1@fit.cvut.cz>
Date: Fri, 24 May 2019 15:02:23 +0200
Subject: [PATCH] Parameter names in declaration and definition should be equal
---
alib2abstraction/src/common/AlgorithmHelper.h | 2 +-
.../src/registry/AlgorithmRegistry.hpp | 2 +-
.../src/registry/ContainerRegistry.hpp | 2 +-
.../CompressedBitParallelIndexConstruction.h | 4 +-
.../indexing/FullAndLinearIndexConstruction.h | 4 +-
...arCompressedBitParallelIndexConstruction.h | 2 +-
.../NonlinearFullAndLinearIndexConstruction.h | 4 +-
.../query/CompressedBitParallelismPatterns.h | 4 +-
.../query/FullAndLinearIndexPatterns.h | 4 +-
...onlinearCompressedBitParallelismPatterns.h | 2 +-
.../NonlinearFullAndLinearIndexPatterns.h | 4 +-
.../convert/ToRegExpStateElimination.h | 2 +-
.../src/automaton/determinize/Determinize.h | 18 ++--
.../src/automaton/properties/EpsilonClosure.h | 12 +--
.../properties/UndistinguishableStates.h | 2 +-
alib2algo/src/automaton/simplify/Normalize.h | 4 +-
.../simplify/UnreachableStatesRemover.h | 2 +-
.../automaton/simplify/UselessStatesRemover.h | 2 +-
.../grammar/generate/RandomGrammarFactory.h | 2 +-
alib2algo/src/grammar/simplify/Rename.h | 4 +-
.../src/regexp/glushkov/GlushkovFollow.h | 6 +-
alib2algo/src/regexp/glushkov/GlushkovPos.h | 8 +-
.../src/regexp/simplify/RegExpOptimize.h | 14 +--
alib2algo/src/rte/glushkov/GlushkovFirst.h | 2 +-
alib2algo/src/rte/glushkov/GlushkovFollow.h | 12 +--
.../src/rte/glushkov/GlushkovFollowNaive.h | 2 +-
alib2algo/src/rte/glushkov/GlushkovPos.h | 12 +--
alib2algo/src/rte/simplify/RTEOptimize.h | 2 +-
alib2algo/src/stringology/exact/BoyerMoore.h | 2 +-
.../stringology/exact/BoyerMooreHorspool.h | 2 +-
.../exact/DeadZoneUsingBadCharacterShift.h | 2 +-
alib2algo/src/stringology/exact/QuickSearch.h | 2 +-
.../exact/ReversedBoyerMooreHorspool.h | 2 +-
.../indexing/BitParallelIndexConstruction.h | 2 +-
.../CompressedBitParallelIndexConstruction.h | 2 +-
.../stringology/indexing/PositionHeapNaive.h | 2 +-
.../stringology/indexing/SuffixArrayNaive.h | 2 +-
.../stringology/indexing/SuffixTrieNaive.h | 2 +-
.../matching/BNDMMatcherConstruction.h | 2 +-
.../matching/WideBNDMMatcherConstruction.h | 2 +-
.../grammar/parsing/AbsorbTerminalSymbol.h | 2 +-
.../grammar/parsing/DeterministicLL1Grammar.h | 2 +-
.../indexing/ExperimentalSuffixTrie.h | 2 +-
alib2aux/src/convert/DotConverter.h | 18 ++--
alib2aux/src/convert/GasTexConverter.h | 12 +--
alib2aux/src/convert/TikZConverter.h | 16 ++--
alib2cli/src/ast/statements/SingleStatement.h | 2 +-
alib2cli/src/builtin/Dot.h | 4 +-
alib2common/src/exception/CommonException.h | 2 +-
alib2data/src/alphabet/BarSymbol.h | 2 +-
alib2data/src/alphabet/BlankSymbol.h | 2 +-
.../src/alphabet/BottomOfTheStackSymbol.h | 2 +-
alib2data/src/alphabet/EndSymbol.h | 2 +-
alib2data/src/alphabet/InitialSymbol.h | 2 +-
alib2data/src/alphabet/StartSymbol.h | 2 +-
alib2data/src/alphabet/VariablesBarSymbol.h | 2 +-
alib2data/src/alphabet/WildcardSymbol.h | 2 +-
.../alphabet/xml/NonlinearVariableSymbol.h | 2 +-
alib2data/src/alphabet/xml/RankedSymbol.h | 2 +-
alib2data/src/automaton/FSM/CompactDFA.h | 6 +-
alib2data/src/automaton/FSM/CompactNFA.h | 6 +-
alib2data/src/automaton/FSM/DFA.h | 4 +-
alib2data/src/automaton/FSM/EpsilonNFA.h | 6 +-
alib2data/src/automaton/FSM/ExtendedNFA.h | 6 +-
.../FSM/MultiInitialStateEpsilonNFA.h | 6 +-
.../src/automaton/FSM/MultiInitialStateNFA.h | 6 +-
alib2data/src/automaton/FSM/NFA.h | 6 +-
alib2data/src/automaton/PDA/DPDA.h | 4 +-
alib2data/src/automaton/PDA/InputDrivenDPDA.h | 6 +-
alib2data/src/automaton/PDA/InputDrivenNPDA.h | 6 +-
alib2data/src/automaton/PDA/NPDA.h | 2 +-
alib2data/src/automaton/PDA/NPDTA.h | 2 +-
.../PDA/RealTimeHeightDeterministicDPDA.h | 38 ++++----
.../PDA/RealTimeHeightDeterministicNPDA.h | 38 ++++----
alib2data/src/automaton/PDA/SinglePopDPDA.h | 2 +-
alib2data/src/automaton/PDA/SinglePopNPDA.h | 8 +-
.../src/automaton/PDA/VisiblyPushdownDPDA.h | 16 ++--
.../src/automaton/PDA/VisiblyPushdownNPDA.h | 14 +--
alib2data/src/automaton/TA/DFTA.h | 2 +-
alib2data/src/automaton/TA/ExtendedNFTA.h | 8 +-
alib2data/src/automaton/TA/NFTA.h | 2 +-
alib2data/src/common/xml/SparseBoolVector.hpp | 2 +-
alib2data/src/common/xml/SymbolOrEpsilon.h | 2 +-
alib2data/src/grammar/ContextFree/CFG.h | 2 +-
alib2data/src/grammar/ContextFree/CNF.h | 2 +-
.../src/grammar/ContextFree/EpsilonFreeCFG.h | 2 +-
alib2data/src/grammar/ContextFree/GNF.h | 2 +-
alib2data/src/grammar/ContextFree/LG.h | 2 +-
alib2data/src/grammar/ContextSensitive/CSG.h | 2 +-
.../ContextSensitive/NonContractingGrammar.h | 2 +-
alib2data/src/grammar/Regular/LeftLG.h | 2 +-
alib2data/src/grammar/Regular/LeftRG.h | 2 +-
alib2data/src/grammar/Regular/RightLG.h | 2 +-
alib2data/src/grammar/Regular/RightRG.h | 2 +-
.../ContextPreservingUnrestrictedGrammar.h | 2 +-
.../Unrestricted/UnrestrictedGrammar.h | 2 +-
.../src/indexes/stringology/PositionHeap.h | 2 +-
.../src/indexes/stringology/SuffixTrie.h | 2 +-
.../arbology/CompressedBitParallelTreeIndex.h | 2 +-
.../indexes/xml/arbology/FullAndLinearIndex.h | 2 +-
.../NonlinearCompressedBitParallelTreeIndex.h | 2 +-
.../arbology/NonlinearFullAndLinearIndex.h | 2 +-
.../xml/stringology/BitParallelIndex.h | 2 +-
.../src/indexes/xml/stringology/BitSetIndex.h | 2 +-
.../stringology/CompressedBitParallelIndex.h | 2 +-
.../xml/stringology/FactorOracleAutomaton.h | 2 +-
.../indexes/xml/stringology/PositionHeap.h | 2 +-
.../src/indexes/xml/stringology/SuffixArray.h | 2 +-
.../indexes/xml/stringology/SuffixAutomaton.h | 2 +-
.../src/indexes/xml/stringology/SuffixTrie.h | 2 +-
alib2data/src/label/FailStateLabel.h | 2 +-
alib2data/src/label/FinalStateLabel.h | 2 +-
alib2data/src/label/InitialStateLabel.h | 2 +-
alib2data/src/regexp/formal/FormalRegExp.h | 2 +-
.../src/regexp/formal/FormalRegExpStructure.h | 2 +-
.../src/regexp/unbounded/UnboundedRegExp.h | 2 +-
.../unbounded/UnboundedRegExpIteration.h | 8 +-
.../unbounded/UnboundedRegExpStructure.h | 2 +-
alib2data/src/regexp/xml/FormalRegExp.h | 2 +-
alib2data/src/regexp/xml/UnboundedRegExp.h | 2 +-
.../src/regexp/xml/UnboundedRegExpStructure.h | 2 +-
.../regexp/xml/common/RegExpToXmlComposer.h | 94 +++++++++----------
alib2data/src/rte/formal/FormalRTE.h | 2 +-
alib2data/src/rte/formal/FormalRTEIteration.h | 4 +-
alib2data/src/rte/formal/FormalRTEStructure.h | 2 +-
.../src/rte/formal/FormalRTESubstitution.h | 2 +-
alib2data/src/rte/xml/FormalRTE.h | 2 +-
.../src/rte/xml/common/RTEToXmlComposer.h | 2 +-
alib2data/src/string/xml/CyclicString.h | 2 +-
alib2data/src/string/xml/LinearString.h | 2 +-
.../src/string/xml/WildcardLinearString.h | 2 +-
alib2data/src/tree/common/TreeAuxiliary.h | 4 +-
.../src/tree/ranked/RankedNonlinearPattern.h | 2 +-
alib2data/src/tree/ranked/RankedPattern.h | 2 +-
.../tree/unranked/UnrankedNonlinearPattern.h | 2 +-
alib2data/src/tree/unranked/UnrankedPattern.h | 2 +-
alib2data/src/tree/unranked/UnrankedTree.h | 4 +-
.../CompactSuffixAutomatonTerminatingSymbol.h | 2 +-
.../stringology/SuffixTrieTerminatingSymbol.h | 2 +-
.../efficient/UnreachableStatesRemover.h | 2 +-
.../simplify/efficient/UselessStatesRemover.h | 2 +-
.../src/edge/capacity/CapacityEdge.hpp | 2 +-
.../src/Graphics/Connection/Connection.hpp | 2 +-
alib2gui/src/GraphvizIntegrator.hpp | 2 +-
alib2gui/src/Models/ModelBox.hpp | 4 +-
alib2raw/src/registry/RawReaderRegistry.hpp | 2 +-
alib2std/src/extensions/container/string.hpp | 2 +-
alib2std/src/extensions/fdstream.hpp | 4 +-
alib2str/src/regexp/string/UnboundedRegExp.h | 4 +-
.../src/registry/StringReaderRegistry.hpp | 2 +-
alib2str/src/rte/string/FormalRTE.h | 2 +-
.../common/StringToStringComposerCommon.h | 2 +-
alib2xml/src/container/xml/ObjectsBitset.h | 2 +-
alib2xml/src/container/xml/ObjectsDeque.h | 2 +-
alib2xml/src/container/xml/ObjectsList.h | 2 +-
alib2xml/src/container/xml/ObjectsMap.h | 2 +-
alib2xml/src/container/xml/ObjectsMultimap.h | 2 +-
alib2xml/src/container/xml/ObjectsOptional.h | 2 +-
alib2xml/src/container/xml/ObjectsPair.h | 4 +-
alib2xml/src/container/xml/ObjectsSet.h | 2 +-
alib2xml/src/container/xml/ObjectsTree.h | 2 +-
alib2xml/src/container/xml/ObjectsTrie.h | 2 +-
alib2xml/src/container/xml/ObjectsVariant.h | 2 +-
alib2xml/src/container/xml/ObjectsVector.h | 2 +-
.../src/measure/xml/MeasurementResults.hpp | 2 +-
.../registry/XmlContainerParserRegistry.hpp | 2 +-
alib2xml/src/registry/XmlRegistry.h | 2 +-
alib2xml/src/sax/SaxParseInterface.h | 2 +-
168 files changed, 362 insertions(+), 362 deletions(-)
diff --git a/alib2abstraction/src/common/AlgorithmHelper.h b/alib2abstraction/src/common/AlgorithmHelper.h
index 5a9f26c881..59033af8e1 100644
--- a/alib2abstraction/src/common/AlgorithmHelper.h
+++ b/alib2abstraction/src/common/AlgorithmHelper.h
@@ -18,7 +18,7 @@ namespace abstraction {
class AlgorithmHelper {
public:
- static std::shared_ptr < abstraction::OperationAbstraction > eval ( const std::string & algo, const ext::vector < std::string > & templateParams, const ext::vector < std::shared_ptr < abstraction::OperationAbstraction > > & params, std::vector < bool > & moves, AlgorithmCategories::AlgorithmCategory category );
+ static std::shared_ptr < abstraction::OperationAbstraction > eval ( const std::string & name, const ext::vector < std::string > & templateParams, const ext::vector < std::shared_ptr < abstraction::OperationAbstraction > > & params, std::vector < bool > & moves, AlgorithmCategories::AlgorithmCategory category );
};
diff --git a/alib2abstraction/src/registry/AlgorithmRegistry.hpp b/alib2abstraction/src/registry/AlgorithmRegistry.hpp
index 344644bd95..39218546f7 100644
--- a/alib2abstraction/src/registry/AlgorithmRegistry.hpp
+++ b/alib2abstraction/src/registry/AlgorithmRegistry.hpp
@@ -112,7 +112,7 @@ private:
static void setDocumentation ( std::string algorithm, ext::vector < std::string > templateParams, const AlgorithmBaseInfo & entryInfo, std::string documentation );
- static ext::map < ext::pair < std::string, ext::vector < std::string > >, ext::list < std::unique_ptr < Entry > > >::const_iterator findAbstractionGroup ( const std::string & algorithm, const ext::vector < std::string > & templateParams );
+ static ext::map < ext::pair < std::string, ext::vector < std::string > >, ext::list < std::unique_ptr < Entry > > >::const_iterator findAbstractionGroup ( const std::string & name, const ext::vector < std::string > & templateParams );
public:
template < class Algo, class ObjectType, class ... ParamTypes >
diff --git a/alib2abstraction/src/registry/ContainerRegistry.hpp b/alib2abstraction/src/registry/ContainerRegistry.hpp
index 7e14309401..b08b3dd111 100644
--- a/alib2abstraction/src/registry/ContainerRegistry.hpp
+++ b/alib2abstraction/src/registry/ContainerRegistry.hpp
@@ -82,7 +82,7 @@ public:
static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & container, const std::string & param );
- static ext::set < std::string > listOverloads ( const std::string & algorithm );
+ static ext::set < std::string > listOverloads ( const std::string & container );
static ext::set < std::string > list ( );
};
diff --git a/alib2algo/src/arbology/indexing/CompressedBitParallelIndexConstruction.h b/alib2algo/src/arbology/indexing/CompressedBitParallelIndexConstruction.h
index cb96d29772..5667099af0 100644
--- a/alib2algo/src/arbology/indexing/CompressedBitParallelIndexConstruction.h
+++ b/alib2algo/src/arbology/indexing/CompressedBitParallelIndexConstruction.h
@@ -31,10 +31,10 @@ public:
* @return the index
*/
template < class SymbolType, class RankType >
- static indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & tree );
+ static indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & w );
template < class SymbolType, class RankType >
- static indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & tree );
+ static indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & w );
};
template < class SymbolType, class RankType >
diff --git a/alib2algo/src/arbology/indexing/FullAndLinearIndexConstruction.h b/alib2algo/src/arbology/indexing/FullAndLinearIndexConstruction.h
index e1300bbe64..fb461c2c40 100644
--- a/alib2algo/src/arbology/indexing/FullAndLinearIndexConstruction.h
+++ b/alib2algo/src/arbology/indexing/FullAndLinearIndexConstruction.h
@@ -31,10 +31,10 @@ public:
* @return the index
*/
template < class SymbolType, class RankType, template < typename > class StringIndex = indexes::stringology::PositionHeap, class StringIndexConstructionAlgo = stringology::indexing::PositionHeapNaive >
- static indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & tree );
+ static indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & w );
template < class SymbolType, class RankType, template < typename > class StringIndex = indexes::stringology::PositionHeap, class StringIndexConstructionAlgo = stringology::indexing::PositionHeapNaive >
- static indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & tree );
+ static indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & w );
};
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexConstructionAlgo >
diff --git a/alib2algo/src/arbology/indexing/NonlinearCompressedBitParallelIndexConstruction.h b/alib2algo/src/arbology/indexing/NonlinearCompressedBitParallelIndexConstruction.h
index 1ccf335c47..be5c2da46f 100644
--- a/alib2algo/src/arbology/indexing/NonlinearCompressedBitParallelIndexConstruction.h
+++ b/alib2algo/src/arbology/indexing/NonlinearCompressedBitParallelIndexConstruction.h
@@ -31,7 +31,7 @@ public:
* @return the index
*/
template < class SymbolType, class RankType >
- static indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & tree );
+ static indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & w );
};
template < class SymbolType, class RankType >
diff --git a/alib2algo/src/arbology/indexing/NonlinearFullAndLinearIndexConstruction.h b/alib2algo/src/arbology/indexing/NonlinearFullAndLinearIndexConstruction.h
index 34cc2bd245..194f880087 100644
--- a/alib2algo/src/arbology/indexing/NonlinearFullAndLinearIndexConstruction.h
+++ b/alib2algo/src/arbology/indexing/NonlinearFullAndLinearIndexConstruction.h
@@ -31,10 +31,10 @@ public:
* @return the index
*/
template < class SymbolType, class RankType, template < typename > class StringIndex = indexes::stringology::PositionHeap, class StringIndexConstructionAlgo = stringology::indexing::PositionHeapNaive >
- static indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & tree );
+ static indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedTree < SymbolType, RankType > & w );
template < class SymbolType, class RankType, template < typename > class StringIndex = indexes::stringology::PositionHeap, class StringIndexConstructionAlgo = stringology::indexing::PositionHeapNaive >
- static indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & tree );
+ static indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > construct ( const tree::PrefixRankedBarTree < SymbolType, RankType > & w );
};
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexConstructionAlgo >
diff --git a/alib2algo/src/arbology/query/CompressedBitParallelismPatterns.h b/alib2algo/src/arbology/query/CompressedBitParallelismPatterns.h
index fe8d6b5e5e..6d41e233ab 100644
--- a/alib2algo/src/arbology/query/CompressedBitParallelismPatterns.h
+++ b/alib2algo/src/arbology/query/CompressedBitParallelismPatterns.h
@@ -32,10 +32,10 @@ public:
* @return occurences of factors
*/
template < class SymbolType, class RankType >
- static ext::set < unsigned > query ( const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & compressedBitParallelTreeIndex, const tree::PrefixRankedPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & compressedBitParallelIndex, const tree::PrefixRankedPattern < SymbolType, RankType > & pattern );
template < class SymbolType, class RankType >
- static ext::set < unsigned > query ( const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & compressedBitParallelTreeIndex, const tree::PrefixRankedBarPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & compressedBitParallelIndex, const tree::PrefixRankedBarPattern < SymbolType, RankType > & pattern );
};
template < class SymbolType, class RankType >
diff --git a/alib2algo/src/arbology/query/FullAndLinearIndexPatterns.h b/alib2algo/src/arbology/query/FullAndLinearIndexPatterns.h
index 96c502815c..9956931e0d 100644
--- a/alib2algo/src/arbology/query/FullAndLinearIndexPatterns.h
+++ b/alib2algo/src/arbology/query/FullAndLinearIndexPatterns.h
@@ -60,10 +60,10 @@ public:
* @return occurences of factors
*/
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo = stringology::query::PositionHeapFactors >
- static ext::set < unsigned > query ( const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & compressedBitParallelTreeIndex, const tree::PrefixRankedPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & fullAndLinearIndex, const tree::PrefixRankedPattern < SymbolType, RankType > & pattern );
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo = stringology::query::PositionHeapFactors >
- static ext::set < unsigned > query ( const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & compressedBitParallelTreeIndex, const tree::PrefixRankedBarPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & fullAndLinearIndex, const tree::PrefixRankedBarPattern < SymbolType, RankType > & pattern );
};
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo >
diff --git a/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h b/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h
index b6d10446bf..6f726f72e5 100644
--- a/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h
+++ b/alib2algo/src/arbology/query/NonlinearCompressedBitParallelismPatterns.h
@@ -31,7 +31,7 @@ public:
* @return occurences of factors
*/
template < class SymbolType, class RankType >
- static ext::set < unsigned > query ( const indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > & nonlinearCompressedBitParallelTreeIndex, const tree::PrefixRankedBarNonlinearPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > & nonlinearCompressedBitParallelIndex, const tree::PrefixRankedBarNonlinearPattern < SymbolType, RankType > & pattern );
};
template < class SymbolType, class RankType >
diff --git a/alib2algo/src/arbology/query/NonlinearFullAndLinearIndexPatterns.h b/alib2algo/src/arbology/query/NonlinearFullAndLinearIndexPatterns.h
index 3413dd4f79..2759ed671e 100644
--- a/alib2algo/src/arbology/query/NonlinearFullAndLinearIndexPatterns.h
+++ b/alib2algo/src/arbology/query/NonlinearFullAndLinearIndexPatterns.h
@@ -60,10 +60,10 @@ public:
* @return occurences of factors
*/
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo = stringology::query::PositionHeapFactors >
- static ext::set < unsigned > query ( const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & compressedBitParallelTreeIndex, const tree::PrefixRankedNonlinearPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & fullAndLinearIndex, const tree::PrefixRankedNonlinearPattern < SymbolType, RankType > & pattern );
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo = stringology::query::PositionHeapFactors >
- static ext::set < unsigned > query ( const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & compressedBitParallelTreeIndex, const tree::PrefixRankedBarNonlinearPattern < SymbolType, RankType > & pattern );
+ static ext::set < unsigned > query ( const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & fullAndLinearIndex, const tree::PrefixRankedBarNonlinearPattern < SymbolType, RankType > & pattern );
};
template < class SymbolType, class RankType, template < typename > class StringIndex, class StringIndexQueryAlgo >
diff --git a/alib2algo/src/automaton/convert/ToRegExpStateElimination.h b/alib2algo/src/automaton/convert/ToRegExpStateElimination.h
index 0e9dd94b02..18f41317ea 100644
--- a/alib2algo/src/automaton/convert/ToRegExpStateElimination.h
+++ b/alib2algo/src/automaton/convert/ToRegExpStateElimination.h
@@ -94,7 +94,7 @@ private:
* @return the @p extendedAutomaton after the elimination of a state @state.
*/
template < class SymbolType, class StateType >
- static automaton::ExtendedNFA < SymbolType, StateType > eliminateState ( const automaton::ExtendedNFA < SymbolType, StateType > & extendedAutomaton, const StateType & state );
+ static automaton::ExtendedNFA < SymbolType, StateType > eliminateState ( const automaton::ExtendedNFA < SymbolType, StateType > & extendedAutomaton, const StateType & q );
};
template < class T >
diff --git a/alib2algo/src/automaton/determinize/Determinize.h b/alib2algo/src/automaton/determinize/Determinize.h
index 067aec2628..dc049a03b1 100644
--- a/alib2algo/src/automaton/determinize/Determinize.h
+++ b/alib2algo/src/automaton/determinize/Determinize.h
@@ -67,7 +67,7 @@ public:
* @return deterministic finite automaton equivalent to @p dfa
*/
template < class SymbolType, class StateType >
- static automaton::DFA < SymbolType, StateType > determinize ( const automaton::DFA < SymbolType, StateType > & dfa );
+ static automaton::DFA < SymbolType, StateType > determinize ( const automaton::DFA < SymbolType, StateType > & automaton );
/**
* Implementation of subset determinization for nondeterministic finite automata.
@@ -102,7 +102,7 @@ public:
* @return deterministic finite tree automaton equivalent to @p dfta
*/
template < class SymbolType, class RankType, class StateType >
- static automaton::DFTA < SymbolType, RankType, StateType > determinize ( const automaton::DFTA < SymbolType, RankType, StateType > & dfta );
+ static automaton::DFTA < SymbolType, RankType, StateType > determinize ( const automaton::DFTA < SymbolType, RankType, StateType > & automaton );
/**
* Implementation of subset determinization for nondeterministic finite tree automata.
@@ -127,7 +127,7 @@ public:
* @return deterministic input-driven pushdown automaton equivalent to @p dpda
*/
template < class InputSymbolType, class PushdownSymbolType, class StateType >
- static automaton::InputDrivenDPDA < InputSymbolType, PushdownSymbolType, StateType > determinize ( const automaton::InputDrivenDPDA < InputSymbolType, PushdownSymbolType, StateType > & dpda );
+ static automaton::InputDrivenDPDA < InputSymbolType, PushdownSymbolType, StateType > determinize ( const automaton::InputDrivenDPDA < InputSymbolType, PushdownSymbolType, StateType > & automaton );
/**
* Implementation of determinization for input-driven pushdown automata.
@@ -152,7 +152,7 @@ public:
* @return deterministic pushdown automaton equivalent to @p dpda
*/
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & dpda );
+ static automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton );
/**
* Determinization of nondeterministic visibly pushdown automata.
@@ -177,7 +177,7 @@ public:
* @return deterministic pushdown automaton equivalent to @p dpda
*/
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & dpda );
+ static automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton );
/**
* Determinization of nondeterministic real-time height-deterministic pushdown automata.
@@ -202,7 +202,7 @@ public:
* @return deterministic single pop deterministic pushdown automaton equivalent do @p dpda
*/
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & dpda );
+ static automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton );
/**
* Determinization of deterministic pushdown automata.
@@ -215,7 +215,7 @@ public:
* @return deterministic pushdown automaton equivalent to @p dpda
*/
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & dpda );
+ static automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton );
/**
* Determinization of nondeterministic pushdown automata is implemented as a cast of such automaton to RhPDA.
@@ -227,7 +227,7 @@ public:
* @return nondeterministic pushdown automaton equivalent to @p npda
*/
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::NPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & npda );
+ static automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > determinize ( const automaton::NPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & automaton );
/**
* Determinization of deterministic pushdown automata.
@@ -239,7 +239,7 @@ public:
* @return deterministic one-tape turing machine equivalent to @p dtm
*/
template < class SymbolType, class StateType >
- static automaton::OneTapeDTM < SymbolType, StateType > determinize ( const automaton::OneTapeDTM < SymbolType, StateType > & dtm );
+ static automaton::OneTapeDTM < SymbolType, StateType > determinize ( const automaton::OneTapeDTM < SymbolType, StateType > & automaton );
};
template < class SymbolType, class StateType >
diff --git a/alib2algo/src/automaton/properties/EpsilonClosure.h b/alib2algo/src/automaton/properties/EpsilonClosure.h
index 8dc7f14414..b6c976a10d 100644
--- a/alib2algo/src/automaton/properties/EpsilonClosure.h
+++ b/alib2algo/src/automaton/properties/EpsilonClosure.h
@@ -59,7 +59,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::EpsilonNFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::EpsilonNFA < SymbolType, StateType > & fsm, const StateType & q );
/**
* Computes epsilon closure for a state of a nondeterministic finite automaton with multiple initial states.
@@ -73,7 +73,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::MultiInitialStateNFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::MultiInitialStateNFA < SymbolType, StateType > & fsm, const StateType & q );
/**
* Computes epsilon closure for a state of a nondeterministic finite automaton.
@@ -87,7 +87,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::NFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::NFA < SymbolType, StateType > & fsm, const StateType & q );
/**
* Computes epsilon closure for a state of a deterministic finite automaton.
@@ -101,7 +101,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::DFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::DFA < SymbolType, StateType > & fsm, const StateType & q );
/**
* Computes epsilon closure for a state of an extended nondeterministic finite automaton.
@@ -115,7 +115,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::ExtendedNFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::ExtendedNFA < SymbolType, StateType > & fsm, const StateType & q );
/**
* Computes epsilon closure for a state of an compact nondeterministic finite automaton.
@@ -129,7 +129,7 @@ public:
* @throws exception::CommonException if state is not in the set of @p fsm states
*/
template < class SymbolType, class StateType >
- static ext::set<StateType> epsilonClosure( const automaton::CompactNFA < SymbolType, StateType > & fsm, const StateType & state );
+ static ext::set<StateType> epsilonClosure( const automaton::CompactNFA < SymbolType, StateType > & fsm, const StateType & q );
};
template < class SymbolType, class StateType >
diff --git a/alib2algo/src/automaton/properties/UndistinguishableStates.h b/alib2algo/src/automaton/properties/UndistinguishableStates.h
index 75fe11d8c8..8d1379eb18 100644
--- a/alib2algo/src/automaton/properties/UndistinguishableStates.h
+++ b/alib2algo/src/automaton/properties/UndistinguishableStates.h
@@ -84,7 +84,7 @@ public:
* @return state partitioning of undistinguishable states
*/
template < class SymbolType, class StateType >
- static ext::set < ext::set < StateType > > undistinguishable ( const automaton::DFA < SymbolType, StateType > & dft );
+ static ext::set < ext::set < StateType > > undistinguishable ( const automaton::DFA < SymbolType, StateType > & dfa );
/**
* Creates state partitioning of undistinguishable states-
diff --git a/alib2algo/src/automaton/simplify/Normalize.h b/alib2algo/src/automaton/simplify/Normalize.h
index c44d2c66f1..26868bdce2 100644
--- a/alib2algo/src/automaton/simplify/Normalize.h
+++ b/alib2algo/src/automaton/simplify/Normalize.h
@@ -55,7 +55,7 @@ public:
* @throws exception::CommonException if the passed dfa was not minimal connected dfa
*/
template < class SymbolType, class StateType >
- static automaton::DFA < SymbolType, unsigned > normalize(const automaton::DFA < SymbolType, StateType > & dfa);
+ static automaton::DFA < SymbolType, unsigned > normalize(const automaton::DFA < SymbolType, StateType > & fsm);
/**
* Normalization of compact deterministic finite automata.
@@ -69,7 +69,7 @@ public:
* @throws exception::CommonException if the passed dfa was not minimal connected dfa
*/
template < class SymbolType, class StateType >
- static automaton::CompactDFA < SymbolType, unsigned > normalize ( const automaton::CompactDFA < SymbolType, StateType > & dfa );
+ static automaton::CompactDFA < SymbolType, unsigned > normalize ( const automaton::CompactDFA < SymbolType, StateType > & fsm );
/**
* Normalization of deterministic pushdown automata.
diff --git a/alib2algo/src/automaton/simplify/UnreachableStatesRemover.h b/alib2algo/src/automaton/simplify/UnreachableStatesRemover.h
index 0fe329100b..4239932554 100644
--- a/alib2algo/src/automaton/simplify/UnreachableStatesRemover.h
+++ b/alib2algo/src/automaton/simplify/UnreachableStatesRemover.h
@@ -61,7 +61,7 @@ public:
* @return @p automaton without unreachable states
*/
template < class T >
- static T remove( const T & automaton );
+ static T remove( const T & fsm );
/**
* @overload
diff --git a/alib2algo/src/automaton/simplify/UselessStatesRemover.h b/alib2algo/src/automaton/simplify/UselessStatesRemover.h
index 6b9ce0fe4f..46ab0d0ce8 100644
--- a/alib2algo/src/automaton/simplify/UselessStatesRemover.h
+++ b/alib2algo/src/automaton/simplify/UselessStatesRemover.h
@@ -57,7 +57,7 @@ public:
* @return @p automaton without useless states
*/
template < class T >
- static T remove( const T & automaton );
+ static T remove( const T & fsm );
/**
* @overload
diff --git a/alib2algo/src/grammar/generate/RandomGrammarFactory.h b/alib2algo/src/grammar/generate/RandomGrammarFactory.h
index 0c965ea7a4..e4d095dd4b 100644
--- a/alib2algo/src/grammar/generate/RandomGrammarFactory.h
+++ b/alib2algo/src/grammar/generate/RandomGrammarFactory.h
@@ -52,7 +52,7 @@ public:
*
* \return random context free grammar
*/
- static grammar::CFG < std::string, std::string > generateCFG( size_t nonterminalsCount, size_t terminalsSize, bool randomizedAlphabet, double density );
+ static grammar::CFG < std::string, std::string > generateCFG( size_t nonterminalsCount, size_t terminalsCount, bool randomizedAlphabet, double density );
private:
template < class TerminalSymbolType, class NonterminalSymbolType >
diff --git a/alib2algo/src/grammar/simplify/Rename.h b/alib2algo/src/grammar/simplify/Rename.h
index 2cc1cce88c..cc485ba251 100644
--- a/alib2algo/src/grammar/simplify/Rename.h
+++ b/alib2algo/src/grammar/simplify/Rename.h
@@ -32,13 +32,13 @@ public:
* \return grammar with nonterminal symbols renamed
*/
template < class TerminalSymbolType, class NonterminalSymbolType >
- static grammar::RightRG < TerminalSymbolType, unsigned > rename ( const grammar::RightRG < TerminalSymbolType, NonterminalSymbolType > & grammar );
+ static grammar::RightRG < TerminalSymbolType, unsigned > rename ( const grammar::RightRG < TerminalSymbolType, NonterminalSymbolType > & rrg );
/**
* \override
*/
template < class TerminalSymbolType, class NonterminalSymbolType >
- static grammar::LeftRG < TerminalSymbolType, unsigned > rename ( const grammar::LeftRG < TerminalSymbolType, NonterminalSymbolType > & grammar );
+ static grammar::LeftRG < TerminalSymbolType, unsigned > rename ( const grammar::LeftRG < TerminalSymbolType, NonterminalSymbolType > & lrg );
};
template < class TerminalSymbolType, class NonterminalSymbolType >
diff --git a/alib2algo/src/regexp/glushkov/GlushkovFollow.h b/alib2algo/src/regexp/glushkov/GlushkovFollow.h
index 1707f22d3e..ec243d2759 100644
--- a/alib2algo/src/regexp/glushkov/GlushkovFollow.h
+++ b/alib2algo/src/regexp/glushkov/GlushkovFollow.h
@@ -47,9 +47,9 @@ public:
template < class SymbolType >
class Unbounded {
public:
- static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpAlternation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
- static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpConcatenation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
- static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpIteration < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
+ static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpAlternation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbolptr );
+ static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpConcatenation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbolptr );
+ static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpIteration < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbolptr );
static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpSymbol < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpEmpty < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
static ext::set < regexp::UnboundedRegExpSymbol < SymbolType > > visit ( const regexp::UnboundedRegExpEpsilon < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbFollow );
diff --git a/alib2algo/src/regexp/glushkov/GlushkovPos.h b/alib2algo/src/regexp/glushkov/GlushkovPos.h
index 18ca52bf7a..127bc4ed74 100644
--- a/alib2algo/src/regexp/glushkov/GlushkovPos.h
+++ b/alib2algo/src/regexp/glushkov/GlushkovPos.h
@@ -36,10 +36,10 @@ public:
template < class SymbolType >
class Unbounded {
public:
- static bool visit ( const regexp::UnboundedRegExpAlternation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
- static bool visit ( const regexp::UnboundedRegExpConcatenation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
- static bool visit ( const regexp::UnboundedRegExpIteration < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
- static bool visit ( const regexp::UnboundedRegExpSymbol < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
+ static bool visit ( const regexp::UnboundedRegExpAlternation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbol );
+ static bool visit ( const regexp::UnboundedRegExpConcatenation < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbol );
+ static bool visit ( const regexp::UnboundedRegExpIteration < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbol );
+ static bool visit ( const regexp::UnboundedRegExpSymbol < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbol );
static bool visit ( const regexp::UnboundedRegExpEmpty < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
static bool visit ( const regexp::UnboundedRegExpEpsilon < SymbolType > & node, const regexp::UnboundedRegExpSymbol < SymbolType > & symbSearch );
};
diff --git a/alib2algo/src/regexp/simplify/RegExpOptimize.h b/alib2algo/src/regexp/simplify/RegExpOptimize.h
index decca8a8c9..33eeff2245 100644
--- a/alib2algo/src/regexp/simplify/RegExpOptimize.h
+++ b/alib2algo/src/regexp/simplify/RegExpOptimize.h
@@ -85,33 +85,33 @@ public:
* \override
*/
template < class SymbolType >
- static void optimize( regexp::UnboundedRegExpAlternation < SymbolType > & regexp );
+ static void optimize( regexp::UnboundedRegExpAlternation < SymbolType > & alt );
/**
* \override
*/
template < class SymbolType >
- static void optimize( regexp::UnboundedRegExpConcatenation < SymbolType > & regexp );
+ static void optimize( regexp::UnboundedRegExpConcatenation < SymbolType > & concat );
/**
* \override
*/
template < class SymbolType >
- static void optimize( regexp::UnboundedRegExpIteration < SymbolType > & regexp );
+ static void optimize( regexp::UnboundedRegExpIteration < SymbolType > & iter );
template < class SymbolType >
static regexp::FormalRegExp < SymbolType > optimize( const regexp::FormalRegExp < SymbolType > & regexp );
template < class SymbolType >
static regexp::FormalRegExpStructure < SymbolType > optimize( const regexp::FormalRegExpStructure < SymbolType > & regexp );
template < class SymbolType >
- static void optimize( regexp::FormalRegExpElement < SymbolType > & regexp );
+ static void optimize( regexp::FormalRegExpElement < SymbolType > & element );
private:
template < class SymbolType >
class Unbounded {
public:
- static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpAlternation < SymbolType > && node, bool recursive );
- static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpConcatenation < SymbolType > && node, bool recursive );
- static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpIteration < SymbolType > && node, bool recursive );
+ static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpAlternation < SymbolType > && alt, bool recursive );
+ static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpConcatenation < SymbolType > && concat, bool recursive );
+ static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpIteration < SymbolType > && iter, bool recursive );
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpSymbol < SymbolType > && node, bool recursive );
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpEmpty < SymbolType > && node, bool recursive );
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > visit ( regexp::UnboundedRegExpEpsilon < SymbolType > && node, bool recursive );
diff --git a/alib2algo/src/rte/glushkov/GlushkovFirst.h b/alib2algo/src/rte/glushkov/GlushkovFirst.h
index 86b43019d1..027e73c08a 100644
--- a/alib2algo/src/rte/glushkov/GlushkovFirst.h
+++ b/alib2algo/src/rte/glushkov/GlushkovFirst.h
@@ -22,7 +22,7 @@ public:
* @return all rteSymbols which can be root of the tree.
*/
template < class SymbolType, class RankType >
- static ext::set < common::ranked_symbol < SymbolType, RankType > > first ( const rte::FormalRTE < SymbolType, RankType > & re );
+ static ext::set < common::ranked_symbol < SymbolType, RankType > > first ( const rte::FormalRTE < SymbolType, RankType > & rte );
template < class SymbolType, class RankType >
class Formal {
diff --git a/alib2algo/src/rte/glushkov/GlushkovFollow.h b/alib2algo/src/rte/glushkov/GlushkovFollow.h
index 684003bc72..4f9b5d36fe 100644
--- a/alib2algo/src/rte/glushkov/GlushkovFollow.h
+++ b/alib2algo/src/rte/glushkov/GlushkovFollow.h
@@ -54,12 +54,12 @@ public:
class Formal {
public:
static void visit ( const FormalRTEElement < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTEAlternation < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTESubstitution < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTEIteration < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTESymbolAlphabet < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTESymbolSubst < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
- static void visit ( const FormalRTEEmpty < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & substMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTEAlternation < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTESubstitution < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTEIteration < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTESymbolAlphabet < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTESymbolSubst < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
+ static void visit ( const FormalRTEEmpty < ext::pair < SymbolType, unsigned >, RankType > & node, const rte::FormalRTE < ext::pair < SymbolType, unsigned >, RankType > & rte, TSubstMap < SymbolType, RankType > & subMap, TFollowMap < SymbolType, RankType > & res );
};
};
diff --git a/alib2algo/src/rte/glushkov/GlushkovFollowNaive.h b/alib2algo/src/rte/glushkov/GlushkovFollowNaive.h
index d0627ded77..29b26b5fc0 100644
--- a/alib2algo/src/rte/glushkov/GlushkovFollowNaive.h
+++ b/alib2algo/src/rte/glushkov/GlushkovFollowNaive.h
@@ -52,7 +52,7 @@ public:
* @return all symbols that can follow specific symbol in word
*/
template < class SymbolType, class RankType >
- static ext::set < ext::vector < common::ranked_symbol < SymbolType, RankType > > > follow ( const rte::FormalRTE < SymbolType, RankType > & re, const common::ranked_symbol < SymbolType, RankType > & symbol );
+ static ext::set < ext::vector < common::ranked_symbol < SymbolType, RankType > > > follow ( const rte::FormalRTE < SymbolType, RankType > & rte, const common::ranked_symbol < SymbolType, RankType > & symbol );
template < class SymbolType, class RankType >
class Formal {
diff --git a/alib2algo/src/rte/glushkov/GlushkovPos.h b/alib2algo/src/rte/glushkov/GlushkovPos.h
index ca405e45db..3d436af595 100644
--- a/alib2algo/src/rte/glushkov/GlushkovPos.h
+++ b/alib2algo/src/rte/glushkov/GlushkovPos.h
@@ -21,16 +21,16 @@ public:
* @return bool true if symbol pointer is in this subtree
*/
template < class SymbolType, class RankType >
- static bool pos ( const common::ranked_symbol < SymbolType, RankType > & symbol, const rte::FormalRTE < SymbolType, RankType > & node );
+ static bool pos ( const common::ranked_symbol < SymbolType, RankType > & symbol, const rte::FormalRTE < SymbolType, RankType > & rte );
template < class SymbolType, class RankType >
class Formal {
public:
- static bool visit ( const rte::FormalRTEAlternation < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
- static bool visit ( const rte::FormalRTESubstitution < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
- static bool visit ( const rte::FormalRTEIteration < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
- static bool visit ( const rte::FormalRTESymbolAlphabet < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
- static bool visit ( const rte::FormalRTESymbolSubst < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
+ static bool visit ( const rte::FormalRTEAlternation < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbolF );
+ static bool visit ( const rte::FormalRTESubstitution < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbolF );
+ static bool visit ( const rte::FormalRTEIteration < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbolF );
+ static bool visit ( const rte::FormalRTESymbolAlphabet < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbolF );
+ static bool visit ( const rte::FormalRTESymbolSubst < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbolF );
static bool visit ( const rte::FormalRTEEmpty < SymbolType, RankType > & node, const common::ranked_symbol < SymbolType, RankType > & symbSearch );
};
};
diff --git a/alib2algo/src/rte/simplify/RTEOptimize.h b/alib2algo/src/rte/simplify/RTEOptimize.h
index 0b411f88b8..7042be0510 100644
--- a/alib2algo/src/rte/simplify/RTEOptimize.h
+++ b/alib2algo/src/rte/simplify/RTEOptimize.h
@@ -28,7 +28,7 @@ public:
template < class SymbolType, class RankType >
static rte::FormalRTEStructure < SymbolType, RankType > optimize( const rte::FormalRTEStructure < SymbolType, RankType > & rte );
template < class SymbolType, class RankType >
- static void optimize( rte::FormalRTEElement < SymbolType, RankType > & rte );
+ static void optimize( rte::FormalRTEElement < SymbolType, RankType > & element );
private:
template < class SymbolType, class RankType >
static ext::smart_ptr < rte::FormalRTEElement < SymbolType, RankType > > optimizeInner( const rte::FormalRTEElement < SymbolType, RankType > & node );
diff --git a/alib2algo/src/stringology/exact/BoyerMoore.h b/alib2algo/src/stringology/exact/BoyerMoore.h
index 1fa39fbd56..94ab8d343c 100644
--- a/alib2algo/src/stringology/exact/BoyerMoore.h
+++ b/alib2algo/src/stringology/exact/BoyerMoore.h
@@ -34,7 +34,7 @@ public:
* @return set set of occurences
*/
template < class SymbolType >
- static ext::set < unsigned > match ( const string::LinearString < SymbolType > & subject, const string::LinearString < SymbolType > & pattern );
+ static ext::set < unsigned > match ( const string::LinearString < SymbolType > & string, const string::LinearString < SymbolType > & pattern );
};
diff --git a/alib2algo/src/stringology/exact/BoyerMooreHorspool.h b/alib2algo/src/stringology/exact/BoyerMooreHorspool.h
index 18d6fbfbd5..1d88e7c894 100644
--- a/alib2algo/src/stringology/exact/BoyerMooreHorspool.h
+++ b/alib2algo/src/stringology/exact/BoyerMooreHorspool.h
@@ -33,7 +33,7 @@ public:
* @return set set of occurences
*/
template < class SymbolType >
- static ext::set < unsigned > match ( const string::LinearString < SymbolType > & subject, const string::LinearString < SymbolType > & pattern );
+ static ext::set < unsigned > match ( const string::LinearString < SymbolType > & string, const string::LinearString < SymbolType > & pattern );
};
diff --git a/alib2algo/src/stringology/exact/DeadZoneUsingBadCharacterShift.h b/alib2algo/src/stringology/exact/DeadZoneUsingBadCharacterShift.h
index 48c6571a2c..fdb5fe4bac 100644
--- a/alib2algo/src/stringology/exact/DeadZoneUsingBadCharacterShift.h
+++ b/alib2algo/src/stringology/exact/DeadZoneUsingBadCharacterShift.h
@@ -33,7 +33,7 @@ public:
* @return set set of occurences
*/
template < class SymbolType >
- static ext::set < unsigned > match ( const string::LinearString < SymbolType > & subject, const string::LinearString < SymbolType > & pattern );
+ static ext::set < unsigned > match ( const string::LinearString < SymbolType > & string, const string::LinearString < SymbolType > & pattern );
};
template < class SymbolType >
diff --git a/alib2algo/src/stringology/exact/QuickSearch.h b/alib2algo/src/stringology/exact/QuickSearch.h
index 58b984f266..af47eb9305 100644
--- a/alib2algo/src/stringology/exact/QuickSearch.h
+++ b/alib2algo/src/stringology/exact/QuickSearch.h
@@ -32,7 +32,7 @@ public:
* @return set of occurences
*/
template < class SymbolType >
- static ext::set < unsigned > match ( const string::LinearString < SymbolType > & subject, const string::LinearString < SymbolType > & pattern );
+ static ext::set < unsigned > match ( const string::LinearString < SymbolType > & string, const string::LinearString < SymbolType > & pattern );
};
diff --git a/alib2algo/src/stringology/exact/ReversedBoyerMooreHorspool.h b/alib2algo/src/stringology/exact/ReversedBoyerMooreHorspool.h
index 8c83fa36cc..cdf05d50d3 100644
--- a/alib2algo/src/stringology/exact/ReversedBoyerMooreHorspool.h
+++ b/alib2algo/src/stringology/exact/ReversedBoyerMooreHorspool.h
@@ -30,7 +30,7 @@ public:
* @return set set of occurences
*/
template < class SymbolType >
- static ext::set < unsigned > match ( const string::LinearString < SymbolType > & subject, const string::LinearString < SymbolType > & pattern );
+ static ext::set < unsigned > match ( const string::LinearString < SymbolType > & string, const string::LinearString < SymbolType > & pattern );
};
diff --git a/alib2algo/src/stringology/indexing/BitParallelIndexConstruction.h b/alib2algo/src/stringology/indexing/BitParallelIndexConstruction.h
index f5a583f4a7..eda59ad587 100644
--- a/alib2algo/src/stringology/indexing/BitParallelIndexConstruction.h
+++ b/alib2algo/src/stringology/indexing/BitParallelIndexConstruction.h
@@ -29,7 +29,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::BitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::BitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/indexing/CompressedBitParallelIndexConstruction.h b/alib2algo/src/stringology/indexing/CompressedBitParallelIndexConstruction.h
index 32b35757d7..85625fb8d8 100644
--- a/alib2algo/src/stringology/indexing/CompressedBitParallelIndexConstruction.h
+++ b/alib2algo/src/stringology/indexing/CompressedBitParallelIndexConstruction.h
@@ -29,7 +29,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::CompressedBitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::CompressedBitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/indexing/PositionHeapNaive.h b/alib2algo/src/stringology/indexing/PositionHeapNaive.h
index e9fb751ce4..0d3512616a 100644
--- a/alib2algo/src/stringology/indexing/PositionHeapNaive.h
+++ b/alib2algo/src/stringology/indexing/PositionHeapNaive.h
@@ -31,7 +31,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::PositionHeap < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::PositionHeap < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/indexing/SuffixArrayNaive.h b/alib2algo/src/stringology/indexing/SuffixArrayNaive.h
index df004a59eb..4a68570f11 100644
--- a/alib2algo/src/stringology/indexing/SuffixArrayNaive.h
+++ b/alib2algo/src/stringology/indexing/SuffixArrayNaive.h
@@ -28,7 +28,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::SuffixArray < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::SuffixArray < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/indexing/SuffixTrieNaive.h b/alib2algo/src/stringology/indexing/SuffixTrieNaive.h
index 2b33b7d89a..999f894eb5 100644
--- a/alib2algo/src/stringology/indexing/SuffixTrieNaive.h
+++ b/alib2algo/src/stringology/indexing/SuffixTrieNaive.h
@@ -29,7 +29,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::SuffixTrie < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::SuffixTrie < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/matching/BNDMMatcherConstruction.h b/alib2algo/src/stringology/matching/BNDMMatcherConstruction.h
index a1016c1f86..f1e2300d88 100644
--- a/alib2algo/src/stringology/matching/BNDMMatcherConstruction.h
+++ b/alib2algo/src/stringology/matching/BNDMMatcherConstruction.h
@@ -29,7 +29,7 @@ public:
* @return automaton
*/
template < class SymbolType, size_t BitmaskBitCount = 64 >
- static indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo/src/stringology/matching/WideBNDMMatcherConstruction.h b/alib2algo/src/stringology/matching/WideBNDMMatcherConstruction.h
index 98a13a56f5..807bcd59d1 100644
--- a/alib2algo/src/stringology/matching/WideBNDMMatcherConstruction.h
+++ b/alib2algo/src/stringology/matching/WideBNDMMatcherConstruction.h
@@ -28,7 +28,7 @@ public:
* @return automaton
*/
template < class SymbolType >
- static indexes::stringology::BitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & string );
+ static indexes::stringology::BitParallelIndex < SymbolType > construct ( const string::LinearString < SymbolType > & w );
};
diff --git a/alib2algo_experimental/src/grammar/parsing/AbsorbTerminalSymbol.h b/alib2algo_experimental/src/grammar/parsing/AbsorbTerminalSymbol.h
index 95ca15571d..c9262d311e 100644
--- a/alib2algo_experimental/src/grammar/parsing/AbsorbTerminalSymbol.h
+++ b/alib2algo_experimental/src/grammar/parsing/AbsorbTerminalSymbol.h
@@ -18,7 +18,7 @@ namespace parsing {
class AbsorbTerminalSymbol {
public:
- static void handleAbsobtion ( const grammar::CFG < > & orig, grammar::CFG < > & res, const DefaultSymbolType & terminal, const ext::set < DefaultSymbolType > & nonterminals, const ext::map < DefaultSymbolType, DefaultSymbolType > & nonterminalPrimed );
+ static void handleAbsobtion ( const grammar::CFG < > & orig, grammar::CFG < > & res, const DefaultSymbolType & terminal, const ext::set < DefaultSymbolType > & nonterminals, const ext::map < DefaultSymbolType, DefaultSymbolType > & nonterminalsPrimed );
static void absorbTerminalSymbol ( grammar::CFG < > & grammar, const DefaultSymbolType & terminal, const ext::set < DefaultSymbolType > & nonterminals );
};
diff --git a/alib2algo_experimental/src/grammar/parsing/DeterministicLL1Grammar.h b/alib2algo_experimental/src/grammar/parsing/DeterministicLL1Grammar.h
index 8a34cae481..d04977dd76 100644
--- a/alib2algo_experimental/src/grammar/parsing/DeterministicLL1Grammar.h
+++ b/alib2algo_experimental/src/grammar/parsing/DeterministicLL1Grammar.h
@@ -16,7 +16,7 @@ namespace parsing {
class DeterministicLL1Grammar {
public:
- static grammar::CFG < > convert ( const grammar::CFG < > & grammar );
+ static grammar::CFG < > convert ( const grammar::CFG < > & param );
};
diff --git a/alib2algo_experimental/src/stringology/indexing/ExperimentalSuffixTrie.h b/alib2algo_experimental/src/stringology/indexing/ExperimentalSuffixTrie.h
index d6c901c715..6f391088e4 100644
--- a/alib2algo_experimental/src/stringology/indexing/ExperimentalSuffixTrie.h
+++ b/alib2algo_experimental/src/stringology/indexing/ExperimentalSuffixTrie.h
@@ -28,7 +28,7 @@ public:
* @param string string to construct suffix trie for
* @return automaton
*/
- static indexes::SuffixTrieTerminatingSymbol construct ( const string::LinearStringTerminatingSymbol & string );
+ static indexes::SuffixTrieTerminatingSymbol construct ( const string::LinearStringTerminatingSymbol & w );
};
diff --git a/alib2aux/src/convert/DotConverter.h b/alib2aux/src/convert/DotConverter.h
index 51979ca81e..b5c77a6a0a 100644
--- a/alib2aux/src/convert/DotConverter.h
+++ b/alib2aux/src/convert/DotConverter.h
@@ -70,13 +70,13 @@ class DotConverter {
static void transitions(const automaton::CompactNFA < SymbolType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class RankType, class StateType >
- static void transitions(const automaton::NFTA < SymbolType, RankType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::NFTA < SymbolType, RankType, StateType > & fta, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class RankType, class StateType >
- static void transitions(const automaton::ExtendedNFTA < SymbolType, RankType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::ExtendedNFTA < SymbolType, RankType, StateType > & fta, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class RankType, class StateType >
- static void transitions(const automaton::DFTA < SymbolType, RankType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::DFTA < SymbolType, RankType, StateType > & fta, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
static void transitions(const automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
@@ -85,10 +85,10 @@ class DotConverter {
static void transitions(const automaton::NPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
static void transitions(const automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
@@ -97,16 +97,16 @@ class DotConverter {
static void transitions(const automaton::InputDrivenNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class StateType >
static void transitions(const automaton::OneTapeDTM < SymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
diff --git a/alib2aux/src/convert/GasTexConverter.h b/alib2aux/src/convert/GasTexConverter.h
index 187a121c75..a5bfd8c198 100644
--- a/alib2aux/src/convert/GasTexConverter.h
+++ b/alib2aux/src/convert/GasTexConverter.h
@@ -83,10 +83,10 @@ class GasTexConverter {
static void transitions(const automaton::NPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
static void transitions(const automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
@@ -95,16 +95,16 @@ class GasTexConverter {
static void transitions(const automaton::InputDrivenNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, std::ostream & out);
template < class SymbolType, class StateType >
static void transitions(const automaton::OneTapeDTM < SymbolType, StateType > & tm, std::ostream & out);
diff --git a/alib2aux/src/convert/TikZConverter.h b/alib2aux/src/convert/TikZConverter.h
index c1c4851e8e..fa0e0e395a 100644
--- a/alib2aux/src/convert/TikZConverter.h
+++ b/alib2aux/src/convert/TikZConverter.h
@@ -68,10 +68,10 @@ class TikZConverter {
static void transitions(const automaton::CompactNFA < SymbolType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class RankType, class StateType >
- static void transitions(const automaton::NFTA < SymbolType, RankType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::NFTA < SymbolType, RankType, StateType > & fta, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class RankType, class StateType >
- static void transitions(const automaton::DFTA < SymbolType, RankType, StateType > & fsm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::DFTA < SymbolType, RankType, StateType > & fta, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
static void transitions(const automaton::DPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
@@ -80,10 +80,10 @@ class TikZConverter {
static void transitions(const automaton::NPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::SinglePopDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::SinglePopNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
static void transitions(const automaton::InputDrivenDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
@@ -92,16 +92,16 @@ class TikZConverter {
static void transitions(const automaton::InputDrivenNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::VisiblyPushdownNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicDPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class InputSymbolType, class PushdownStoreSymbolType, class StateType >
- static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
+ static void transitions(const automaton::RealTimeHeightDeterministicNPDA < InputSymbolType, PushdownStoreSymbolType, StateType > & pda, const ext::map < StateType, int > & states, std::ostream & out);
template < class SymbolType, class StateType >
static void transitions(const automaton::OneTapeDTM < SymbolType, StateType > & tm, const ext::map < StateType, int > & states, std::ostream & out);
diff --git a/alib2cli/src/ast/statements/SingleStatement.h b/alib2cli/src/ast/statements/SingleStatement.h
index 63003ab85f..8502a5b031 100644
--- a/alib2cli/src/ast/statements/SingleStatement.h
+++ b/alib2cli/src/ast/statements/SingleStatement.h
@@ -15,7 +15,7 @@ class SingleStatement final : public Statement {
ext::vector < bool > m_moves;
public:
- SingleStatement ( std::unique_ptr < cli::Arg > name, ext::vector < std::unique_ptr < cli::Arg > > templateParams, ext::vector < std::shared_ptr < Statement > > params, std::unique_ptr < CategoryOption > options, ext::vector < bool > moves );
+ SingleStatement ( std::unique_ptr < cli::Arg > name, ext::vector < std::unique_ptr < cli::Arg > > templateParams, ext::vector < std::shared_ptr < Statement > > params, std::unique_ptr < CategoryOption > category, ext::vector < bool > moves );
std::shared_ptr < abstraction::OperationAbstraction > translateAndEval ( const std::shared_ptr < abstraction::OperationAbstraction > & prev, Environment & environment ) const override;
diff --git a/alib2cli/src/builtin/Dot.h b/alib2cli/src/builtin/Dot.h
index 95b0bdd3e4..3fb922caf0 100644
--- a/alib2cli/src/builtin/Dot.h
+++ b/alib2cli/src/builtin/Dot.h
@@ -30,7 +30,7 @@ public:
*
* \param dot a string containing dot data
*/
- static void dot ( const std::string & dot );
+ static void dot ( const std::string & data );
/**
* Cli builtin command for DOT format visualization
@@ -55,7 +55,7 @@ public:
*
* \param dot a string containing dot data
*/
- static void dot ( const std::string & dot );
+ static void dot ( const std::string & data );
};
} /* namespace builtin */
diff --git a/alib2common/src/exception/CommonException.h b/alib2common/src/exception/CommonException.h
index d264198e87..59f6c21923 100644
--- a/alib2common/src/exception/CommonException.h
+++ b/alib2common/src/exception/CommonException.h
@@ -76,7 +76,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator <<( std::ostream & out, const CommonException & );
+ friend std::ostream & operator <<( std::ostream & os, const CommonException & );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/BarSymbol.h b/alib2data/src/alphabet/BarSymbol.h
index 6da7fc0f60..8d4ed8af84 100644
--- a/alib2data/src/alphabet/BarSymbol.h
+++ b/alib2data/src/alphabet/BarSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const BarSymbol & instnace );
+ friend std::ostream & operator << ( std::ostream & out, const BarSymbol & instnace );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/BlankSymbol.h b/alib2data/src/alphabet/BlankSymbol.h
index 6399009ebf..d9210f4577 100644
--- a/alib2data/src/alphabet/BlankSymbol.h
+++ b/alib2data/src/alphabet/BlankSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const BlankSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const BlankSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/BottomOfTheStackSymbol.h b/alib2data/src/alphabet/BottomOfTheStackSymbol.h
index 21ea81bb97..bd38d41717 100644
--- a/alib2data/src/alphabet/BottomOfTheStackSymbol.h
+++ b/alib2data/src/alphabet/BottomOfTheStackSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const BottomOfTheStackSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const BottomOfTheStackSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/EndSymbol.h b/alib2data/src/alphabet/EndSymbol.h
index b0ab079c93..022c914e5f 100644
--- a/alib2data/src/alphabet/EndSymbol.h
+++ b/alib2data/src/alphabet/EndSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const EndSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const EndSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/InitialSymbol.h b/alib2data/src/alphabet/InitialSymbol.h
index 7c5c74691d..2a7e67b2d6 100644
--- a/alib2data/src/alphabet/InitialSymbol.h
+++ b/alib2data/src/alphabet/InitialSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const InitialSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const InitialSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/StartSymbol.h b/alib2data/src/alphabet/StartSymbol.h
index 0de4fdbd4c..3b3d292612 100644
--- a/alib2data/src/alphabet/StartSymbol.h
+++ b/alib2data/src/alphabet/StartSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const StartSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const StartSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/VariablesBarSymbol.h b/alib2data/src/alphabet/VariablesBarSymbol.h
index 801a829169..10c4e5f7e9 100644
--- a/alib2data/src/alphabet/VariablesBarSymbol.h
+++ b/alib2data/src/alphabet/VariablesBarSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const VariablesBarSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const VariablesBarSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/WildcardSymbol.h b/alib2data/src/alphabet/WildcardSymbol.h
index f674b455fd..a5ba3f78b1 100644
--- a/alib2data/src/alphabet/WildcardSymbol.h
+++ b/alib2data/src/alphabet/WildcardSymbol.h
@@ -59,7 +59,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const WildcardSymbol & instance );
+ friend std::ostream & operator << ( std::ostream & out, const WildcardSymbol & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/alphabet/xml/NonlinearVariableSymbol.h b/alib2data/src/alphabet/xml/NonlinearVariableSymbol.h
index c09e23d44b..c465805192 100644
--- a/alib2data/src/alphabet/xml/NonlinearVariableSymbol.h
+++ b/alib2data/src/alphabet/xml/NonlinearVariableSymbol.h
@@ -18,7 +18,7 @@ struct xmlApi < alphabet::NonlinearVariableSymbol < T > > {
static alphabet::NonlinearVariableSymbol < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const alphabet::NonlinearVariableSymbol < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const alphabet::NonlinearVariableSymbol < T > & input );
};
template < typename T >
diff --git a/alib2data/src/alphabet/xml/RankedSymbol.h b/alib2data/src/alphabet/xml/RankedSymbol.h
index 8400d8e286..bb6254eb9f 100644
--- a/alib2data/src/alphabet/xml/RankedSymbol.h
+++ b/alib2data/src/alphabet/xml/RankedSymbol.h
@@ -19,7 +19,7 @@ struct xmlApi < common::ranked_symbol < T, R > > {
static common::ranked_symbol < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const common::ranked_symbol < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const common::ranked_symbol < T, R > & input );
};
template < typename T, typename R >
diff --git a/alib2data/src/automaton/FSM/CompactDFA.h b/alib2data/src/automaton/FSM/CompactDFA.h
index d76da10a7b..459b87e174 100644
--- a/alib2data/src/automaton/FSM/CompactDFA.h
+++ b/alib2data/src/automaton/FSM/CompactDFA.h
@@ -306,7 +306,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, ext::vector < SymbolType > input, StateType next );
+ bool addTransition ( StateType from, ext::vector < SymbolType > input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -319,7 +319,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const ext::vector < SymbolType > & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const ext::vector < SymbolType > & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -351,7 +351,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::map < ext::pair < StateType, ext::vector < SymbolType > >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::map < ext::pair < StateType, ext::vector < SymbolType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* The actual compare method
diff --git a/alib2data/src/automaton/FSM/CompactNFA.h b/alib2data/src/automaton/FSM/CompactNFA.h
index 920cb77d39..bbfc685b9c 100644
--- a/alib2data/src/automaton/FSM/CompactNFA.h
+++ b/alib2data/src/automaton/FSM/CompactNFA.h
@@ -346,7 +346,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, ext::vector < SymbolType > input, StateType next );
+ bool addTransition ( StateType from, ext::vector < SymbolType > input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -359,7 +359,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const ext::vector < SymbolType > & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const ext::vector < SymbolType > & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -391,7 +391,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, ext::vector < SymbolType > >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, ext::vector < SymbolType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* The actual compare method
diff --git a/alib2data/src/automaton/FSM/DFA.h b/alib2data/src/automaton/FSM/DFA.h
index 8da96a8d06..25c03a8116 100644
--- a/alib2data/src/automaton/FSM/DFA.h
+++ b/alib2data/src/automaton/FSM/DFA.h
@@ -297,7 +297,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, SymbolType input, const StateType next );
+ bool addTransition ( StateType from, SymbolType input, const StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -310,7 +310,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const SymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const SymbolType & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/FSM/EpsilonNFA.h b/alib2data/src/automaton/FSM/EpsilonNFA.h
index 0e6ea65dec..e32b1ec679 100644
--- a/alib2data/src/automaton/FSM/EpsilonNFA.h
+++ b/alib2data/src/automaton/FSM/EpsilonNFA.h
@@ -378,7 +378,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const SymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const SymbolType & input, const StateType & to );
/**
* \brief Removes a transition from the automaton.
@@ -390,7 +390,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const StateType & next );
+ bool removeTransition ( const StateType & from, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -454,7 +454,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, common::symbol_or_epsilon < SymbolType > >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, common::symbol_or_epsilon < SymbolType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* Get a subset of epsilon transitions of the automaton, with the target state fixed in the transitions natural representation.
diff --git a/alib2data/src/automaton/FSM/ExtendedNFA.h b/alib2data/src/automaton/FSM/ExtendedNFA.h
index 8a4cacf499..a9302ea3a3 100644
--- a/alib2data/src/automaton/FSM/ExtendedNFA.h
+++ b/alib2data/src/automaton/FSM/ExtendedNFA.h
@@ -348,7 +348,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, regexp::UnboundedRegExpStructure < SymbolType > input, StateType next );
+ bool addTransition ( StateType from, regexp::UnboundedRegExpStructure < SymbolType > input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -361,7 +361,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const regexp::UnboundedRegExpStructure < SymbolType > & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const regexp::UnboundedRegExpStructure < SymbolType > & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -393,7 +393,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, regexp::UnboundedRegExpStructure < SymbolType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* The actual compare method
diff --git a/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h b/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
index 5af2d1f52d..a092e22542 100644
--- a/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
+++ b/alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h
@@ -405,7 +405,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const SymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const SymbolType & input, const StateType & to );
/**
* \brief Removes a transition from the automaton.
@@ -417,7 +417,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const StateType & next );
+ bool removeTransition ( const StateType & from, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -481,7 +481,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, common::symbol_or_epsilon < SymbolType > >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, common::symbol_or_epsilon < SymbolType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* Get a subset of epsilon transitions of the automaton, with the target state fixed in the transitions natural representation.
diff --git a/alib2data/src/automaton/FSM/MultiInitialStateNFA.h b/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
index 847eab3552..530938c309 100644
--- a/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
+++ b/alib2data/src/automaton/FSM/MultiInitialStateNFA.h
@@ -330,7 +330,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, SymbolType input, StateType next );
+ bool addTransition ( StateType from, SymbolType input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -343,7 +343,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const SymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const SymbolType & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -375,7 +375,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, SymbolType >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, SymbolType >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* \brief Determines whether the automaton is deterministic.
diff --git a/alib2data/src/automaton/FSM/NFA.h b/alib2data/src/automaton/FSM/NFA.h
index 2f874ef148..962df1ddf9 100644
--- a/alib2data/src/automaton/FSM/NFA.h
+++ b/alib2data/src/automaton/FSM/NFA.h
@@ -299,7 +299,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, SymbolType input, StateType next );
+ bool addTransition ( StateType from, SymbolType input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -312,7 +312,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const SymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const SymbolType & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
@@ -344,7 +344,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::multimap < ext::pair < StateType, SymbolType >, StateType > getTransitionsToState ( const StateType & from ) const;
+ ext::multimap < ext::pair < StateType, SymbolType >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* \brief Determines whether the automaton is deterministic.
diff --git a/alib2data/src/automaton/PDA/DPDA.h b/alib2data/src/automaton/PDA/DPDA.h
index f17e1f93d6..e6a18a3db2 100644
--- a/alib2data/src/automaton/PDA/DPDA.h
+++ b/alib2data/src/automaton/PDA/DPDA.h
@@ -99,7 +99,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit DPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit DPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
@@ -511,7 +511,7 @@ public:
*
* \returns a subset of the transition function of the automaton with the target state fixed
*/
- ext::map < ext::tuple < StateType, common::symbol_or_epsilon < InputSymbolType >, ext::vector < PushdownStoreSymbolType > >, ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > getTransitionsToState ( const StateType & from ) const;
+ ext::map < ext::tuple < StateType, common::symbol_or_epsilon < InputSymbolType >, ext::vector < PushdownStoreSymbolType > >, ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > getTransitionsToState ( const StateType & to ) const;
/**
* The actual compare method
diff --git a/alib2data/src/automaton/PDA/InputDrivenDPDA.h b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
index 0e64c5f197..0fcf36f1b6 100644
--- a/alib2data/src/automaton/PDA/InputDrivenDPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenDPDA.h
@@ -114,7 +114,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit InputDrivenDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit InputDrivenDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
@@ -451,7 +451,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -464,7 +464,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/PDA/InputDrivenNPDA.h b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
index 9dadfe17e6..1797dcf013 100644
--- a/alib2data/src/automaton/PDA/InputDrivenNPDA.h
+++ b/alib2data/src/automaton/PDA/InputDrivenNPDA.h
@@ -114,7 +114,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit InputDrivenNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAphabet, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit InputDrivenNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
@@ -451,7 +451,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Removes a transition from the automaton.
@@ -464,7 +464,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* Get the transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/PDA/NPDA.h b/alib2data/src/automaton/PDA/NPDA.h
index 49d5aac031..e5703460f8 100644
--- a/alib2data/src/automaton/PDA/NPDA.h
+++ b/alib2data/src/automaton/PDA/NPDA.h
@@ -94,7 +94,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit NPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit NPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
diff --git a/alib2data/src/automaton/PDA/NPDTA.h b/alib2data/src/automaton/PDA/NPDTA.h
index d1ee19c118..8ce1f8c636 100644
--- a/alib2data/src/automaton/PDA/NPDTA.h
+++ b/alib2data/src/automaton/PDA/NPDTA.h
@@ -98,7 +98,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit NPDTA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < OutputSymbolType > outputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit NPDTA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < OutputSymbolType > outputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
index a958525f80..8e3ce3047b 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.h
@@ -132,7 +132,7 @@ public:
* \param bottomOfTheStackSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit RealTimeHeightDeterministicDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
+ explicit RealTimeHeightDeterministicDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.
@@ -428,7 +428,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a call transition to the automaton.
@@ -444,7 +444,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, InputSymbolType input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, InputSymbolType input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a call transition to the automaton.
@@ -459,7 +459,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a return transition to the automaton.
@@ -475,7 +475,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a return transition to the automaton.
@@ -491,7 +491,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, InputSymbolType input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a return transition to the automaton.
@@ -506,7 +506,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -521,7 +521,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, StateType next );
+ bool addLocalTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -536,7 +536,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addLocalTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -550,7 +550,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, StateType next );
+ bool addLocalTransition ( StateType from, StateType to );
/**
* \brief Removes a call transition from the automaton.
@@ -566,7 +566,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a call transition from the automaton.
@@ -582,7 +582,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const InputSymbolType & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const InputSymbolType & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a call transition from the automaton.
@@ -597,7 +597,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a return transition from the automaton.
@@ -613,7 +613,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a return transition from the automaton.
@@ -629,7 +629,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a return transition from the automaton.
@@ -644,7 +644,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -659,7 +659,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -674,7 +674,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -688,7 +688,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const StateType & to );
/**
* Get the call transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
index 310d8cb37d..1f029ff07e 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicNPDA.h
@@ -110,7 +110,7 @@ public:
* \param bottomOfTheStackSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit RealTimeHeightDeterministicNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, ext::set < StateType > initialStates, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
+ explicit RealTimeHeightDeterministicNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, ext::set < StateType > initialStates, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.
@@ -426,7 +426,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a call transition to the automaton.
@@ -442,7 +442,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, InputSymbolType input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, InputSymbolType input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a call transition to the automaton.
@@ -457,7 +457,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a return transition to the automaton.
@@ -473,7 +473,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a return transition to the automaton.
@@ -489,7 +489,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, InputSymbolType input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a return transition to the automaton.
@@ -504,7 +504,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -519,7 +519,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, common::symbol_or_epsilon < InputSymbolType > input, StateType next );
+ bool addLocalTransition ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -534,7 +534,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addLocalTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -548,7 +548,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, StateType next );
+ bool addLocalTransition ( StateType from, StateType to );
/**
* \brief Removes a call transition from the automaton.
@@ -564,7 +564,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a call transition from the automaton.
@@ -580,7 +580,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const InputSymbolType & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const InputSymbolType & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a call transition from the automaton.
@@ -595,7 +595,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a return transition from the automaton.
@@ -611,7 +611,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a return transition from the automaton.
@@ -627,7 +627,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a return transition from the automaton.
@@ -642,7 +642,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -657,7 +657,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const common::symbol_or_epsilon < InputSymbolType > & input, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -672,7 +672,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -686,7 +686,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const StateType & to );
/**
* Get the call transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/PDA/SinglePopDPDA.h b/alib2data/src/automaton/PDA/SinglePopDPDA.h
index cd61683d8a..bee844096f 100644
--- a/alib2data/src/automaton/PDA/SinglePopDPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopDPDA.h
@@ -99,7 +99,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit SinglePopDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit SinglePopDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
diff --git a/alib2data/src/automaton/PDA/SinglePopNPDA.h b/alib2data/src/automaton/PDA/SinglePopNPDA.h
index e2a28d1efd..11b80f8ceb 100644
--- a/alib2data/src/automaton/PDA/SinglePopNPDA.h
+++ b/alib2data/src/automaton/PDA/SinglePopNPDA.h
@@ -94,7 +94,7 @@ public:
* \param initialPushdownSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit SinglePopNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType initialPushdownSymbol, ext::set < StateType > finalStates );
+ explicit SinglePopNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > inputAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType initialSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and initial pushdown store symbol.
@@ -438,7 +438,7 @@ public:
*
* \throws AutomatonException when transition contains state or symbol not present in the automaton components
*/
- void addTransitions ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > push );
+ void addTransitions ( StateType from, common::symbol_or_epsilon < InputSymbolType > input, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > targets );
/**
* \brief Adds transitions to the automaton.
@@ -452,7 +452,7 @@ public:
*
* \throws AutomatonException when transition contains state or symbol not present in the automaton components
*/
- void addTransitions ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > push );
+ void addTransitions ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > targets );
/**
* \brief Adds transitions to the automaton.
@@ -465,7 +465,7 @@ public:
*
* \throws AutomatonException when transition contains state or symbol not present in the automaton components
*/
- void addTransitions ( StateType from, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > push );
+ void addTransitions ( StateType from, PushdownStoreSymbolType pop, ext::set < ext::pair < StateType, ext::vector < PushdownStoreSymbolType > > > targets );
/**
* \brief Removes a transition from the automaton.
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
index 6270712f55..a6519fe013 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownDPDA.h
@@ -130,7 +130,7 @@ public:
* \param bottomOfTheStackSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit VisiblyPushdownDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > callAlphabet, ext::set < InputSymbolType > returnAlphabet, ext::set < InputSymbolType > localAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, StateType initialState, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
+ explicit VisiblyPushdownDPDA ( ext::set < StateType > states, ext::set < InputSymbolType > callAlphabet, ext::set < InputSymbolType > returnAlphabet, ext::set < InputSymbolType > localAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, StateType initialState, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.
@@ -138,7 +138,7 @@ public:
* \param initialState the initial state of the automaton
* \param bottomOfTheStackSymbol the bottom of the stack symbol of the automaton
*/
- explicit VisiblyPushdownDPDA ( StateType initialSymbol, PushdownStoreSymbolType bottomOfTheStackSymbol );
+ explicit VisiblyPushdownDPDA ( StateType initialState, PushdownStoreSymbolType bottomOfTheStackSymbol );
/**
* Getter of the initial state.
@@ -553,7 +553,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, InputSymbolType input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, InputSymbolType input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a return transition to the automaton.
@@ -569,7 +569,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, InputSymbolType input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -584,7 +584,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addLocalTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Removes a call transition from the automaton.
@@ -600,7 +600,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const InputSymbolType & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const InputSymbolType & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a return transition from the automaton.
@@ -616,7 +616,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -631,7 +631,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* Get the call transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
index f943e3feac..87131882b5 100644
--- a/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
+++ b/alib2data/src/automaton/PDA/VisiblyPushdownNPDA.h
@@ -115,7 +115,7 @@ public:
* \param bottomOfTheStackSymbol the initial pushdown symbol of the automaton
* \param finalStates the initial set of final states of the automaton
*/
- explicit VisiblyPushdownNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > callAlphabet, ext::set < InputSymbolType > returnAlphabet, ext::set < InputSymbolType > localAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreSymbol, ext::set < StateType > initialStates, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
+ explicit VisiblyPushdownNPDA ( ext::set < StateType > states, ext::set < InputSymbolType > callAlphabet, ext::set < InputSymbolType > returnAlphabet, ext::set < InputSymbolType > localAlphabet, ext::set < PushdownStoreSymbolType > pushdownStoreAlphabet, ext::set < StateType > initialStates, PushdownStoreSymbolType bottomOfTheStackSymbol, ext::set < StateType > finalStates );
/**
* \brief Creates a new instance of the automaton with a concrete initial state and bottom of the stack symbol.
@@ -558,7 +558,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addCallTransition ( StateType current, InputSymbolType input, StateType next, PushdownStoreSymbolType push );
+ bool addCallTransition ( StateType from, InputSymbolType input, StateType to, PushdownStoreSymbolType push );
/**
* \brief Adds a return transition to the automaton.
@@ -574,7 +574,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addReturnTransition ( StateType current, InputSymbolType input, PushdownStoreSymbolType pop, StateType next );
+ bool addReturnTransition ( StateType from, InputSymbolType input, PushdownStoreSymbolType pop, StateType to );
/**
* \brief Adds a local transition to the automaton.
@@ -589,7 +589,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addLocalTransition ( StateType current, InputSymbolType input, StateType next );
+ bool addLocalTransition ( StateType from, InputSymbolType input, StateType to );
/**
* \brief Removes a call transition from the automaton.
@@ -605,7 +605,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeCallTransition ( const StateType & current, const InputSymbolType & input, const StateType & next, const PushdownStoreSymbolType & push );
+ bool removeCallTransition ( const StateType & from, const InputSymbolType & input, const StateType & to, const PushdownStoreSymbolType & push );
/**
* \brief Removes a return transition from the automaton.
@@ -621,7 +621,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeReturnTransition ( const StateType & current, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & next );
+ bool removeReturnTransition ( const StateType & from, const InputSymbolType & input, const PushdownStoreSymbolType & pop, const StateType & to );
/**
* \brief Removes a local transition from the automaton.
@@ -636,7 +636,7 @@ public:
*
* \returns true if the transition was indeed removed
*/
- bool removeLocalTransition ( const StateType & current, const InputSymbolType & input, const StateType & next );
+ bool removeLocalTransition ( const StateType & from, const InputSymbolType & input, const StateType & to );
/**
* Get the call transition function of the automaton in its natural form.
diff --git a/alib2data/src/automaton/TA/DFTA.h b/alib2data/src/automaton/TA/DFTA.h
index 5b3cb3aa58..aa04f7f6fd 100644
--- a/alib2data/src/automaton/TA/DFTA.h
+++ b/alib2data/src/automaton/TA/DFTA.h
@@ -271,7 +271,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( common::ranked_symbol < SymbolType, RankType > current, ext::vector < StateType > children, StateType next );
+ bool addTransition ( common::ranked_symbol < SymbolType, RankType > symbol, ext::vector < StateType > prevStates, StateType next );
/**
* \brief Removes a transition from the automaton.
diff --git a/alib2data/src/automaton/TA/ExtendedNFTA.h b/alib2data/src/automaton/TA/ExtendedNFTA.h
index 817f488f65..971ade8d2e 100644
--- a/alib2data/src/automaton/TA/ExtendedNFTA.h
+++ b/alib2data/src/automaton/TA/ExtendedNFTA.h
@@ -281,7 +281,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType > current, ext::vector < StateType >, StateType next );
+ bool addTransition ( rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType > rte, ext::vector < StateType >, StateType next );
/**
* \brief Add a transition to the automaton.
@@ -296,7 +296,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- void addTransitions ( rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType > current, ext::vector < StateType >, ext::set < StateType > next );
+ void addTransitions ( rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType > rte, ext::vector < StateType >, ext::set < StateType > next );
/**
* \brief Removes a transition from the automaton.
@@ -332,12 +332,12 @@ public:
/**
* \returns the subset of transitions where the state @p q is a target state
*/
- ext::map < ext::pair < rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType >, ext::vector < StateType > >, StateType > getTransitionsToState ( const StateType & q ) const;
+ ext::map < ext::pair < rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType >, ext::vector < StateType > >, StateType > getTransitionsToState ( const StateType & to ) const;
/**
* \returns the subset of transitions where the state @p q is a source state
*/
- ext::map < ext::pair < rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType >, ext::vector < StateType > >, ext::set < StateType > > getTransitionsFromState ( const StateType & q ) const;
+ ext::map < ext::pair < rte::FormalRTEStructure < ext::variant < SymbolType, StateType >, RankType >, ext::vector < StateType > >, ext::set < StateType > > getTransitionsFromState ( const StateType & from ) const;
/**
* \brief Determines whether the automaton is deterministic.
diff --git a/alib2data/src/automaton/TA/NFTA.h b/alib2data/src/automaton/TA/NFTA.h
index 45e87864fb..b167b29da1 100644
--- a/alib2data/src/automaton/TA/NFTA.h
+++ b/alib2data/src/automaton/TA/NFTA.h
@@ -276,7 +276,7 @@ public:
*
* \returns true if the transition was indeed added
*/
- bool addTransition ( common::ranked_symbol < SymbolType, RankType > current, ext::vector < StateType > children, StateType next );
+ bool addTransition ( common::ranked_symbol < SymbolType, RankType > symbol, ext::vector < StateType > prevStates, StateType next );
/**
* \brief Removes a transition from the automaton.
diff --git a/alib2data/src/common/xml/SparseBoolVector.hpp b/alib2data/src/common/xml/SparseBoolVector.hpp
index 3dba8130f6..ae2d218150 100644
--- a/alib2data/src/common/xml/SparseBoolVector.hpp
+++ b/alib2data/src/common/xml/SparseBoolVector.hpp
@@ -25,7 +25,7 @@ struct xmlApi < common::SparseBoolVector > {
return sax::FromXMLParserHelper::isToken ( input, sax::Token::TokenType::START_ELEMENT, xmlTagName ( ) );
}
- static void compose ( ext::deque < sax::Token > & output, const common::SparseBoolVector & data );
+ static void compose ( ext::deque < sax::Token > & output, const common::SparseBoolVector & input );
};
} /* namespace core */
diff --git a/alib2data/src/common/xml/SymbolOrEpsilon.h b/alib2data/src/common/xml/SymbolOrEpsilon.h
index af6cadcb14..53de1db312 100644
--- a/alib2data/src/common/xml/SymbolOrEpsilon.h
+++ b/alib2data/src/common/xml/SymbolOrEpsilon.h
@@ -18,7 +18,7 @@ struct xmlApi < common::symbol_or_epsilon < T > > {
static common::symbol_or_epsilon < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const common::symbol_or_epsilon < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const common::symbol_or_epsilon < T > & input );
};
template < typename T >
diff --git a/alib2data/src/grammar/ContextFree/CFG.h b/alib2data/src/grammar/ContextFree/CFG.h
index 4c7a5596b6..f9f8ce4bbd 100644
--- a/alib2data/src/grammar/ContextFree/CFG.h
+++ b/alib2data/src/grammar/ContextFree/CFG.h
@@ -87,7 +87,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit CFG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit CFG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/*
* \brief Creates a new instance of the grammar based on the Epsilon free context free grammar.
diff --git a/alib2data/src/grammar/ContextFree/CNF.h b/alib2data/src/grammar/ContextFree/CNF.h
index 09c39e46ae..fbd9c3c659 100644
--- a/alib2data/src/grammar/ContextFree/CNF.h
+++ b/alib2data/src/grammar/ContextFree/CNF.h
@@ -91,7 +91,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit CNF ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit CNF ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.h b/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.h
index 5cc6fea189..8d5d3efe2e 100644
--- a/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.h
+++ b/alib2data/src/grammar/ContextFree/EpsilonFreeCFG.h
@@ -90,7 +90,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit EpsilonFreeCFG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit EpsilonFreeCFG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/ContextFree/GNF.h b/alib2data/src/grammar/ContextFree/GNF.h
index 767fe3e840..d990d5a453 100644
--- a/alib2data/src/grammar/ContextFree/GNF.h
+++ b/alib2data/src/grammar/ContextFree/GNF.h
@@ -90,7 +90,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit GNF ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit GNF ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/ContextFree/LG.h b/alib2data/src/grammar/ContextFree/LG.h
index 30caf0804d..42b2266077 100644
--- a/alib2data/src/grammar/ContextFree/LG.h
+++ b/alib2data/src/grammar/ContextFree/LG.h
@@ -86,7 +86,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit LG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit LG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/ContextSensitive/CSG.h b/alib2data/src/grammar/ContextSensitive/CSG.h
index 520ffabc5b..0768b4840d 100644
--- a/alib2data/src/grammar/ContextSensitive/CSG.h
+++ b/alib2data/src/grammar/ContextSensitive/CSG.h
@@ -88,7 +88,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit CSG ( ext::set < SymbolType > nonTerminalSymbols, ext::set < SymbolType > terminalSymbols, SymbolType initialSymbol );
+ explicit CSG ( ext::set < SymbolType > nonterminalAlphabet, ext::set < SymbolType > terminalAlphabet, SymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.h b/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.h
index 408c624450..01a1310a1e 100644
--- a/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.h
+++ b/alib2data/src/grammar/ContextSensitive/NonContractingGrammar.h
@@ -89,7 +89,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit NonContractingGrammar ( ext::set < SymbolType > nonTerminalSymbols, ext::set < SymbolType > terminalSymbols, SymbolType initialSymbol );
+ explicit NonContractingGrammar ( ext::set < SymbolType > nonterminalAlphabet, ext::set < SymbolType > terminalAlphabet, SymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Regular/LeftLG.h b/alib2data/src/grammar/Regular/LeftLG.h
index 01af8c986a..41bebf368e 100644
--- a/alib2data/src/grammar/Regular/LeftLG.h
+++ b/alib2data/src/grammar/Regular/LeftLG.h
@@ -86,7 +86,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit LeftLG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit LeftLG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Regular/LeftRG.h b/alib2data/src/grammar/Regular/LeftRG.h
index 56e10f2d39..7ea3450120 100644
--- a/alib2data/src/grammar/Regular/LeftRG.h
+++ b/alib2data/src/grammar/Regular/LeftRG.h
@@ -95,7 +95,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit LeftRG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit LeftRG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Regular/RightLG.h b/alib2data/src/grammar/Regular/RightLG.h
index 29286d7c04..dd9de3730d 100644
--- a/alib2data/src/grammar/Regular/RightLG.h
+++ b/alib2data/src/grammar/Regular/RightLG.h
@@ -85,7 +85,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit RightLG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit RightLG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Regular/RightRG.h b/alib2data/src/grammar/Regular/RightRG.h
index 841f599c64..6c1980ee56 100644
--- a/alib2data/src/grammar/Regular/RightRG.h
+++ b/alib2data/src/grammar/Regular/RightRG.h
@@ -95,7 +95,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit RightRG ( ext::set < NonterminalSymbolType > nonTerminalSymbols, ext::set < TerminalSymbolType > terminalSymbols, NonterminalSymbolType initialSymbol );
+ explicit RightRG ( ext::set < NonterminalSymbolType > nonterminalAlphabet, ext::set < TerminalSymbolType > terminalAlphabet, NonterminalSymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.h b/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.h
index 5240100489..dd1e80548b 100644
--- a/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.h
+++ b/alib2data/src/grammar/Unrestricted/ContextPreservingUnrestrictedGrammar.h
@@ -84,7 +84,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit ContextPreservingUnrestrictedGrammar ( ext::set < SymbolType > nonTerminalSymbols, ext::set < SymbolType > terminalSymbols, SymbolType initialSymbol );
+ explicit ContextPreservingUnrestrictedGrammar ( ext::set < SymbolType > nonterminalAlphabet, ext::set < SymbolType > terminalAlphabet, SymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.h b/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.h
index 0686053162..12eaa640d9 100644
--- a/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.h
+++ b/alib2data/src/grammar/Unrestricted/UnrestrictedGrammar.h
@@ -84,7 +84,7 @@ public:
* \param terminalSymbols the initial terminal alphabet
* \param initialSymbol the initial symbol of the grammar
*/
- explicit UnrestrictedGrammar ( ext::set < SymbolType > nonTerminalSymbols, ext::set < SymbolType > terminalSymbols, SymbolType initialSymbol );
+ explicit UnrestrictedGrammar ( ext::set < SymbolType > nonterminalAlphabet, ext::set < SymbolType > terminalAlphabet, SymbolType initialSymbol );
/**
* \brief Add a new rule of a grammar.
diff --git a/alib2data/src/indexes/stringology/PositionHeap.h b/alib2data/src/indexes/stringology/PositionHeap.h
index c76dd03e84..5d4e96f6b5 100644
--- a/alib2data/src/indexes/stringology/PositionHeap.h
+++ b/alib2data/src/indexes/stringology/PositionHeap.h
@@ -132,7 +132,7 @@ public:
*
* \param tree root node to set
*/
- void setTree ( ext::trie < SymbolType, unsigned > tree );
+ void setTree ( ext::trie < SymbolType, unsigned > trie );
/**
* Remover of a symbol from the alphabet.
diff --git a/alib2data/src/indexes/stringology/SuffixTrie.h b/alib2data/src/indexes/stringology/SuffixTrie.h
index 120cf8c088..fc10e7e8eb 100644
--- a/alib2data/src/indexes/stringology/SuffixTrie.h
+++ b/alib2data/src/indexes/stringology/SuffixTrie.h
@@ -126,7 +126,7 @@ public:
*
* \param tree root node to set
*/
- void setTree ( ext::trie < SymbolType, ext::optional < unsigned > > tree );
+ void setTree ( ext::trie < SymbolType, ext::optional < unsigned > > trie );
/**
* Remover of a symbol from the alphabet.
diff --git a/alib2data/src/indexes/xml/arbology/CompressedBitParallelTreeIndex.h b/alib2data/src/indexes/xml/arbology/CompressedBitParallelTreeIndex.h
index 67ddf1dcdc..76cfbac07f 100644
--- a/alib2data/src/indexes/xml/arbology/CompressedBitParallelTreeIndex.h
+++ b/alib2data/src/indexes/xml/arbology/CompressedBitParallelTreeIndex.h
@@ -45,7 +45,7 @@ struct xmlApi < indexes::arbology::CompressedBitParallelTreeIndex < SymbolType,
static indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::CompressedBitParallelTreeIndex < SymbolType, RankType > & index );
};
template < class SymbolType, class RankType >
diff --git a/alib2data/src/indexes/xml/arbology/FullAndLinearIndex.h b/alib2data/src/indexes/xml/arbology/FullAndLinearIndex.h
index ccd263fff8..1add7b35f7 100644
--- a/alib2data/src/indexes/xml/arbology/FullAndLinearIndex.h
+++ b/alib2data/src/indexes/xml/arbology/FullAndLinearIndex.h
@@ -43,7 +43,7 @@ struct xmlApi < indexes::arbology::FullAndLinearIndex < SymbolType, RankType, St
static indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::FullAndLinearIndex < SymbolType, RankType, StringIndex > & index );
};
template < class SymbolType, class RankType, template < typename > class StringIndex >
diff --git a/alib2data/src/indexes/xml/arbology/NonlinearCompressedBitParallelTreeIndex.h b/alib2data/src/indexes/xml/arbology/NonlinearCompressedBitParallelTreeIndex.h
index 11a75f3da5..a4f156f596 100644
--- a/alib2data/src/indexes/xml/arbology/NonlinearCompressedBitParallelTreeIndex.h
+++ b/alib2data/src/indexes/xml/arbology/NonlinearCompressedBitParallelTreeIndex.h
@@ -45,7 +45,7 @@ struct xmlApi < indexes::arbology::NonlinearCompressedBitParallelTreeIndex < Sym
static indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::NonlinearCompressedBitParallelTreeIndex < SymbolType, RankType > & index );
};
template < class SymbolType, class RankType >
diff --git a/alib2data/src/indexes/xml/arbology/NonlinearFullAndLinearIndex.h b/alib2data/src/indexes/xml/arbology/NonlinearFullAndLinearIndex.h
index 4fde2cb1af..7bd5c9bec8 100644
--- a/alib2data/src/indexes/xml/arbology/NonlinearFullAndLinearIndex.h
+++ b/alib2data/src/indexes/xml/arbology/NonlinearFullAndLinearIndex.h
@@ -43,7 +43,7 @@ struct xmlApi < indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, Ran
static indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::arbology::NonlinearFullAndLinearIndex < SymbolType, RankType, StringIndex > & index );
};
template < class SymbolType, class RankType, template < typename > class StringIndex >
diff --git a/alib2data/src/indexes/xml/stringology/BitParallelIndex.h b/alib2data/src/indexes/xml/stringology/BitParallelIndex.h
index 3b86f43452..a8861b8bde 100644
--- a/alib2data/src/indexes/xml/stringology/BitParallelIndex.h
+++ b/alib2data/src/indexes/xml/stringology/BitParallelIndex.h
@@ -41,7 +41,7 @@ struct xmlApi < indexes::stringology::BitParallelIndex < SymbolType > > {
static indexes::stringology::BitParallelIndex < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::BitParallelIndex < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::BitParallelIndex < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/BitSetIndex.h b/alib2data/src/indexes/xml/stringology/BitSetIndex.h
index 45493b818b..70e594ba38 100644
--- a/alib2data/src/indexes/xml/stringology/BitSetIndex.h
+++ b/alib2data/src/indexes/xml/stringology/BitSetIndex.h
@@ -42,7 +42,7 @@ struct xmlApi < indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount
static indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::BitSetIndex < SymbolType, BitmaskBitCount > & index );
};
template < class SymbolType, size_t BitmaskBitCount >
diff --git a/alib2data/src/indexes/xml/stringology/CompressedBitParallelIndex.h b/alib2data/src/indexes/xml/stringology/CompressedBitParallelIndex.h
index fed762937a..02df82c518 100644
--- a/alib2data/src/indexes/xml/stringology/CompressedBitParallelIndex.h
+++ b/alib2data/src/indexes/xml/stringology/CompressedBitParallelIndex.h
@@ -42,7 +42,7 @@ struct xmlApi < indexes::stringology::CompressedBitParallelIndex < SymbolType >
static indexes::stringology::CompressedBitParallelIndex < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::CompressedBitParallelIndex < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::CompressedBitParallelIndex < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/FactorOracleAutomaton.h b/alib2data/src/indexes/xml/stringology/FactorOracleAutomaton.h
index bc672d74d8..9198926831 100644
--- a/alib2data/src/indexes/xml/stringology/FactorOracleAutomaton.h
+++ b/alib2data/src/indexes/xml/stringology/FactorOracleAutomaton.h
@@ -40,7 +40,7 @@ struct xmlApi < indexes::stringology::FactorOracleAutomaton < SymbolType > > {
static indexes::stringology::FactorOracleAutomaton < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::FactorOracleAutomaton < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::FactorOracleAutomaton < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/PositionHeap.h b/alib2data/src/indexes/xml/stringology/PositionHeap.h
index f6599b1c6c..2cd408b50a 100644
--- a/alib2data/src/indexes/xml/stringology/PositionHeap.h
+++ b/alib2data/src/indexes/xml/stringology/PositionHeap.h
@@ -41,7 +41,7 @@ struct xmlApi < indexes::stringology::PositionHeap < SymbolType > > {
static indexes::stringology::PositionHeap < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::PositionHeap < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::PositionHeap < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/SuffixArray.h b/alib2data/src/indexes/xml/stringology/SuffixArray.h
index 5ec7d61392..f3367cf9dc 100644
--- a/alib2data/src/indexes/xml/stringology/SuffixArray.h
+++ b/alib2data/src/indexes/xml/stringology/SuffixArray.h
@@ -41,7 +41,7 @@ struct xmlApi < indexes::stringology::SuffixArray < SymbolType > > {
static indexes::stringology::SuffixArray < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixArray < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixArray < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/SuffixAutomaton.h b/alib2data/src/indexes/xml/stringology/SuffixAutomaton.h
index 541cab358b..c990c232b1 100644
--- a/alib2data/src/indexes/xml/stringology/SuffixAutomaton.h
+++ b/alib2data/src/indexes/xml/stringology/SuffixAutomaton.h
@@ -40,7 +40,7 @@ struct xmlApi < indexes::stringology::SuffixAutomaton < SymbolType > > {
static indexes::stringology::SuffixAutomaton < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixAutomaton < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixAutomaton < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/indexes/xml/stringology/SuffixTrie.h b/alib2data/src/indexes/xml/stringology/SuffixTrie.h
index a29862b996..f0c3b7f8a8 100644
--- a/alib2data/src/indexes/xml/stringology/SuffixTrie.h
+++ b/alib2data/src/indexes/xml/stringology/SuffixTrie.h
@@ -42,7 +42,7 @@ struct xmlApi < indexes::stringology::SuffixTrie < SymbolType > > {
static indexes::stringology::SuffixTrie < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixTrie < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixTrie < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data/src/label/FailStateLabel.h b/alib2data/src/label/FailStateLabel.h
index f78796cd70..e74cf65dbd 100644
--- a/alib2data/src/label/FailStateLabel.h
+++ b/alib2data/src/label/FailStateLabel.h
@@ -58,7 +58,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const FailStateLabel & instance );
+ friend std::ostream & operator << ( std::ostream & out, const FailStateLabel & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/label/FinalStateLabel.h b/alib2data/src/label/FinalStateLabel.h
index f24f2a7f93..b613622953 100644
--- a/alib2data/src/label/FinalStateLabel.h
+++ b/alib2data/src/label/FinalStateLabel.h
@@ -58,7 +58,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const FinalStateLabel & instance );
+ friend std::ostream & operator << ( std::ostream & out, const FinalStateLabel & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/label/InitialStateLabel.h b/alib2data/src/label/InitialStateLabel.h
index b1422f45b6..c031f3ec22 100644
--- a/alib2data/src/label/InitialStateLabel.h
+++ b/alib2data/src/label/InitialStateLabel.h
@@ -58,7 +58,7 @@ public:
*
* \returns modified output stream
*/
- friend std::ostream & operator << ( std::ostream & os, const InitialStateLabel & instance );
+ friend std::ostream & operator << ( std::ostream & out, const InitialStateLabel & instance );
/**
* Casts this instance to as compact as possible string representation.
diff --git a/alib2data/src/regexp/formal/FormalRegExp.h b/alib2data/src/regexp/formal/FormalRegExp.h
index 03403256c8..d4905ea57b 100644
--- a/alib2data/src/regexp/formal/FormalRegExp.h
+++ b/alib2data/src/regexp/formal/FormalRegExp.h
@@ -151,7 +151,7 @@ public:
*
* \param regExp the new structure of the expression.
*/
- void setRegExp ( FormalRegExpStructure < SymbolType > regExp );
+ void setRegExp ( FormalRegExpStructure < SymbolType > param );
/**
* The actual compare method
diff --git a/alib2data/src/regexp/formal/FormalRegExpStructure.h b/alib2data/src/regexp/formal/FormalRegExpStructure.h
index e0add34121..0d1fd21a34 100644
--- a/alib2data/src/regexp/formal/FormalRegExpStructure.h
+++ b/alib2data/src/regexp/formal/FormalRegExpStructure.h
@@ -95,7 +95,7 @@ public:
*
* \param structure new root node of the structure
*/
- void setStructure ( FormalRegExpElement < SymbolType > && structure );
+ void setStructure ( FormalRegExpElement < SymbolType > && param );
/**
* Sets the root node of the expression structure
diff --git a/alib2data/src/regexp/unbounded/UnboundedRegExp.h b/alib2data/src/regexp/unbounded/UnboundedRegExp.h
index 6d7078d6b7..06c503cbca 100644
--- a/alib2data/src/regexp/unbounded/UnboundedRegExp.h
+++ b/alib2data/src/regexp/unbounded/UnboundedRegExp.h
@@ -153,7 +153,7 @@ public:
*
* \param regExp the new structure of the expression.
*/
- void setRegExp ( UnboundedRegExpStructure < SymbolType > regExp );
+ void setRegExp ( UnboundedRegExpStructure < SymbolType > param );
/**
* The actual compare method
diff --git a/alib2data/src/regexp/unbounded/UnboundedRegExpIteration.h b/alib2data/src/regexp/unbounded/UnboundedRegExpIteration.h
index 30f055130c..4166b325f1 100644
--- a/alib2data/src/regexp/unbounded/UnboundedRegExpIteration.h
+++ b/alib2data/src/regexp/unbounded/UnboundedRegExpIteration.h
@@ -192,13 +192,13 @@ UnboundedRegExpElement < SymbolType > & UnboundedRegExpIteration < SymbolType >:
}
template < class SymbolType >
-void UnboundedRegExpIteration < SymbolType >::setElement ( UnboundedRegExpElement < SymbolType > && elementParam ) {
- this->setChild ( std::move ( elementParam ) );
+void UnboundedRegExpIteration < SymbolType >::setElement ( UnboundedRegExpElement < SymbolType > && element ) {
+ this->setChild ( std::move ( element ) );
}
template < class SymbolType >
-void UnboundedRegExpIteration < SymbolType >::setElement ( const UnboundedRegExpElement < SymbolType > & elementParam ) {
- setElement ( ext::move_copy ( elementParam ) );
+void UnboundedRegExpIteration < SymbolType >::setElement ( const UnboundedRegExpElement < SymbolType > & element ) {
+ setElement ( ext::move_copy ( element ) );
}
template < class SymbolType >
diff --git a/alib2data/src/regexp/unbounded/UnboundedRegExpStructure.h b/alib2data/src/regexp/unbounded/UnboundedRegExpStructure.h
index d5d288b54f..39e63176ee 100644
--- a/alib2data/src/regexp/unbounded/UnboundedRegExpStructure.h
+++ b/alib2data/src/regexp/unbounded/UnboundedRegExpStructure.h
@@ -97,7 +97,7 @@ public:
*
* \param structure new root node of the structure
*/
- void setStructure ( UnboundedRegExpElement < SymbolType > && structure );
+ void setStructure ( UnboundedRegExpElement < SymbolType > && param );
/**
* Sets the root node of the expression structure
diff --git a/alib2data/src/regexp/xml/FormalRegExp.h b/alib2data/src/regexp/xml/FormalRegExp.h
index 4e01b7beef..10b530506a 100644
--- a/alib2data/src/regexp/xml/FormalRegExp.h
+++ b/alib2data/src/regexp/xml/FormalRegExp.h
@@ -22,7 +22,7 @@ struct xmlApi < regexp::FormalRegExp < SymbolType > > {
static regexp::FormalRegExp < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const regexp::FormalRegExp < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const regexp::FormalRegExp < SymbolType > & input );
};
template < typename SymbolType >
diff --git a/alib2data/src/regexp/xml/UnboundedRegExp.h b/alib2data/src/regexp/xml/UnboundedRegExp.h
index 52652e2f11..55fbf00179 100644
--- a/alib2data/src/regexp/xml/UnboundedRegExp.h
+++ b/alib2data/src/regexp/xml/UnboundedRegExp.h
@@ -22,7 +22,7 @@ struct xmlApi < regexp::UnboundedRegExp < SymbolType > > {
static regexp::UnboundedRegExp < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const regexp::UnboundedRegExp < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const regexp::UnboundedRegExp < SymbolType > & input );
};
template < typename SymbolType >
diff --git a/alib2data/src/regexp/xml/UnboundedRegExpStructure.h b/alib2data/src/regexp/xml/UnboundedRegExpStructure.h
index 18216adfed..601d7a442b 100644
--- a/alib2data/src/regexp/xml/UnboundedRegExpStructure.h
+++ b/alib2data/src/regexp/xml/UnboundedRegExpStructure.h
@@ -54,7 +54,7 @@ struct xmlApi < regexp::UnboundedRegExpStructure < SymbolType > > {
* \param output the sink for new xml tokens representing the automaton
* \param input the automaton to compose
*/
- static void compose ( ext::deque < sax::Token > & output, const regexp::UnboundedRegExpStructure < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const regexp::UnboundedRegExpStructure < SymbolType > & input );
};
template < class SymbolType >
diff --git a/alib2data/src/regexp/xml/common/RegExpToXmlComposer.h b/alib2data/src/regexp/xml/common/RegExpToXmlComposer.h
index 2b0a145ffc..080e93fe28 100644
--- a/alib2data/src/regexp/xml/common/RegExpToXmlComposer.h
+++ b/alib2data/src/regexp/xml/common/RegExpToXmlComposer.h
@@ -23,7 +23,7 @@ namespace regexp {
class RegExpToXmlComposer {
public:
template < class SymbolType >
- static void composeAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& alphabet);
+ static void composeAlphabet(ext::deque<sax::Token>& output, const ext::set<SymbolType>& alphabet);
class Unbounded {
public:
@@ -59,94 +59,94 @@ public:
};
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpAlternation < SymbolType > & alternation, ext::deque<sax::Token>& out) {
- out.emplace_back("alternation", sax::Token::TokenType::START_ELEMENT);
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpAlternation < SymbolType > & alternation, ext::deque<sax::Token>& output) {
+ output.emplace_back("alternation", sax::Token::TokenType::START_ELEMENT);
for (const UnboundedRegExpElement < SymbolType > & element : alternation.getElements()) {
- element.template accept < void, RegExpToXmlComposer::Unbounded > ( out );
+ element.template accept < void, RegExpToXmlComposer::Unbounded > ( output );
}
- out.emplace_back("alternation", sax::Token::TokenType::END_ELEMENT);
+ output.emplace_back("alternation", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpConcatenation < SymbolType > & concatenation, ext::deque<sax::Token>& out) {
- out.emplace_back("concatenation", sax::Token::TokenType::START_ELEMENT);
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpConcatenation < SymbolType > & concatenation, ext::deque<sax::Token>& output) {
+ output.emplace_back("concatenation", sax::Token::TokenType::START_ELEMENT);
for (const UnboundedRegExpElement < SymbolType > & element : concatenation.getElements()) {
- element.template accept < void, RegExpToXmlComposer::Unbounded > ( out );
+ element.template accept < void, RegExpToXmlComposer::Unbounded > ( output );
}
- out.emplace_back("concatenation", sax::Token::TokenType::END_ELEMENT);
+ output.emplace_back("concatenation", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpIteration < SymbolType > & iteration, ext::deque<sax::Token>& out) {
- out.emplace_back("iteration", sax::Token::TokenType::START_ELEMENT);
- iteration.getElement().template accept < void, RegExpToXmlComposer::Unbounded > ( out );
- out.emplace_back("iteration", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpIteration < SymbolType > & iteration, ext::deque<sax::Token>& output) {
+ output.emplace_back("iteration", sax::Token::TokenType::START_ELEMENT);
+ iteration.getElement().template accept < void, RegExpToXmlComposer::Unbounded > ( output );
+ output.emplace_back("iteration", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpSymbol < SymbolType > & symbol, ext::deque<sax::Token>& out) {
- core::xmlApi<SymbolType>::compose(out, symbol.getSymbol());
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpSymbol < SymbolType > & symbol, ext::deque<sax::Token>& output) {
+ core::xmlApi<SymbolType>::compose(output, symbol.getSymbol());
}
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpEpsilon < SymbolType > &, ext::deque<sax::Token>& out) {
- out.emplace_back("epsilon", sax::Token::TokenType::START_ELEMENT);
- out.emplace_back("epsilon", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpEpsilon < SymbolType > &, ext::deque<sax::Token>& output) {
+ output.emplace_back("epsilon", sax::Token::TokenType::START_ELEMENT);
+ output.emplace_back("epsilon", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpEmpty < SymbolType > &, ext::deque<sax::Token>& out) {
- out.emplace_back("empty", sax::Token::TokenType::START_ELEMENT);
- out.emplace_back("empty", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Unbounded::visit(const UnboundedRegExpEmpty < SymbolType > &, ext::deque<sax::Token>& output) {
+ output.emplace_back("empty", sax::Token::TokenType::START_ELEMENT);
+ output.emplace_back("empty", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpAlternation < SymbolType > & alternation, ext::deque<sax::Token>& out) {
- out.emplace_back("alternation", sax::Token::TokenType::START_ELEMENT);
- alternation.getLeftElement().template accept < void, RegExpToXmlComposer::Formal > ( out );
- alternation.getRightElement().template accept < void, RegExpToXmlComposer::Formal > ( out );
- out.emplace_back("alternation", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpAlternation < SymbolType > & alternation, ext::deque<sax::Token>& output) {
+ output.emplace_back("alternation", sax::Token::TokenType::START_ELEMENT);
+ alternation.getLeftElement().template accept < void, RegExpToXmlComposer::Formal > ( output );
+ alternation.getRightElement().template accept < void, RegExpToXmlComposer::Formal > ( output );
+ output.emplace_back("alternation", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpConcatenation < SymbolType > & concatenation, ext::deque<sax::Token>& out) {
- out.emplace_back("concatenation", sax::Token::TokenType::START_ELEMENT);
- concatenation.getLeftElement().template accept < void, RegExpToXmlComposer::Formal > ( out );
- concatenation.getRightElement().template accept < void, RegExpToXmlComposer::Formal > ( out );
- out.emplace_back("concatenation", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpConcatenation < SymbolType > & concatenation, ext::deque<sax::Token>& output) {
+ output.emplace_back("concatenation", sax::Token::TokenType::START_ELEMENT);
+ concatenation.getLeftElement().template accept < void, RegExpToXmlComposer::Formal > ( output );
+ concatenation.getRightElement().template accept < void, RegExpToXmlComposer::Formal > ( output );
+ output.emplace_back("concatenation", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpIteration < SymbolType > & iteration, ext::deque<sax::Token>& out) {
- out.emplace_back("iteration", sax::Token::TokenType::START_ELEMENT);
- iteration.getElement().template accept < void, RegExpToXmlComposer::Formal > ( out );
- out.emplace_back("iteration", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpIteration < SymbolType > & iteration, ext::deque<sax::Token>& output) {
+ output.emplace_back("iteration", sax::Token::TokenType::START_ELEMENT);
+ iteration.getElement().template accept < void, RegExpToXmlComposer::Formal > ( output );
+ output.emplace_back("iteration", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpSymbol < SymbolType > & symbol, ext::deque<sax::Token>& out) {
- core::xmlApi<SymbolType>::compose(out, symbol.getSymbol());
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpSymbol < SymbolType > & symbol, ext::deque<sax::Token>& output) {
+ core::xmlApi<SymbolType>::compose(output, symbol.getSymbol());
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpEpsilon < SymbolType > &, ext::deque<sax::Token>& out) {
- out.emplace_back("epsilon", sax::Token::TokenType::START_ELEMENT);
- out.emplace_back("epsilon", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpEpsilon < SymbolType > &, ext::deque<sax::Token>& output) {
+ output.emplace_back("epsilon", sax::Token::TokenType::START_ELEMENT);
+ output.emplace_back("epsilon", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::Formal::visit(const FormalRegExpEmpty < SymbolType > &, ext::deque<sax::Token>& out) {
- out.emplace_back("empty", sax::Token::TokenType::START_ELEMENT);
- out.emplace_back("empty", sax::Token::TokenType::END_ELEMENT);
+void RegExpToXmlComposer::Formal::visit(const FormalRegExpEmpty < SymbolType > &, ext::deque<sax::Token>& output) {
+ output.emplace_back("empty", sax::Token::TokenType::START_ELEMENT);
+ output.emplace_back("empty", sax::Token::TokenType::END_ELEMENT);
}
template < class SymbolType >
-void RegExpToXmlComposer::composeAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& alphabet) {
- out.emplace_back("alphabet", sax::Token::TokenType::START_ELEMENT);
+void RegExpToXmlComposer::composeAlphabet(ext::deque<sax::Token>& output, const ext::set<SymbolType>& alphabet) {
+ output.emplace_back("alphabet", sax::Token::TokenType::START_ELEMENT);
for (const SymbolType & symbol : alphabet) {
- core::xmlApi<SymbolType>::compose(out, symbol);
+ core::xmlApi<SymbolType>::compose(output, symbol);
}
- out.emplace_back("alphabet", sax::Token::TokenType::END_ELEMENT);
+ output.emplace_back("alphabet", sax::Token::TokenType::END_ELEMENT);
}
} /* namespace regexp */
diff --git a/alib2data/src/rte/formal/FormalRTE.h b/alib2data/src/rte/formal/FormalRTE.h
index 83b52dcfd7..df200e90e6 100644
--- a/alib2data/src/rte/formal/FormalRTE.h
+++ b/alib2data/src/rte/formal/FormalRTE.h
@@ -243,7 +243,7 @@ public:
*
* \param regExp the new structure of the expression.
*/
- void setRTE ( FormalRTEStructure < SymbolType, RankType > regExp );
+ void setRTE ( FormalRTEStructure < SymbolType, RankType > param );
/**
* The actual compare method
diff --git a/alib2data/src/rte/formal/FormalRTEIteration.h b/alib2data/src/rte/formal/FormalRTEIteration.h
index 865d1d7e35..3a1cd59552 100644
--- a/alib2data/src/rte/formal/FormalRTEIteration.h
+++ b/alib2data/src/rte/formal/FormalRTEIteration.h
@@ -72,7 +72,7 @@ public:
* \param element the tree to iterate
* \param substitutionSymbol the symbol representing the substitution place
*/
- explicit FormalRTEIteration ( FormalRTEElement < SymbolType, RankType > && element, FormalRTESymbolSubst < SymbolType, RankType > substitionSymbol );
+ explicit FormalRTEIteration ( FormalRTEElement < SymbolType, RankType > && element, FormalRTESymbolSubst < SymbolType, RankType > substitutionSymbol );
/**
* \brief Creates a new instance of the substitution node with explicit tree to iterate and a symbol representing place of substitution
@@ -154,7 +154,7 @@ public:
*
* \param element the substitution symbol
*/
- void setSubstitutionSymbol ( FormalRTESymbolSubst < SymbolType, RankType > element );
+ void setSubstitutionSymbol ( FormalRTESymbolSubst < SymbolType, RankType > symbol );
/**
* @copydoc base::CommonBase < FormalRTEElement < SymbolType, RankType > >::compare ( const FormalRTEElement < SymbolType, RankType > & ) const
diff --git a/alib2data/src/rte/formal/FormalRTEStructure.h b/alib2data/src/rte/formal/FormalRTEStructure.h
index 1ef464bc01..061e9c056b 100644
--- a/alib2data/src/rte/formal/FormalRTEStructure.h
+++ b/alib2data/src/rte/formal/FormalRTEStructure.h
@@ -85,7 +85,7 @@ public:
*
* \param structure new root node of the structure
*/
- void setStructure ( FormalRTEElement < SymbolType, RankType > && structure );
+ void setStructure ( FormalRTEElement < SymbolType, RankType > && param );
/**
* Sets the root node of the expression structure
diff --git a/alib2data/src/rte/formal/FormalRTESubstitution.h b/alib2data/src/rte/formal/FormalRTESubstitution.h
index 180a2b2a12..cf2f069a09 100644
--- a/alib2data/src/rte/formal/FormalRTESubstitution.h
+++ b/alib2data/src/rte/formal/FormalRTESubstitution.h
@@ -183,7 +183,7 @@ public:
*
* \param element the substitution symbol
*/
- void setSubstitutionSymbol ( FormalRTESymbolSubst < SymbolType, RankType > element );
+ void setSubstitutionSymbol ( FormalRTESymbolSubst < SymbolType, RankType > symbol );
/**
* @copydoc base::CommonBase < FormalRTEElement < SymbolType, RankType > >::compare ( const FormalRTEElement < SymbolType, RankType > & ) const
diff --git a/alib2data/src/rte/xml/FormalRTE.h b/alib2data/src/rte/xml/FormalRTE.h
index c650d53857..d3819e47fe 100644
--- a/alib2data/src/rte/xml/FormalRTE.h
+++ b/alib2data/src/rte/xml/FormalRTE.h
@@ -22,7 +22,7 @@ struct xmlApi < rte::FormalRTE < SymbolType, RankType > > {
static rte::FormalRTE < SymbolType, RankType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const rte::FormalRTE < SymbolType, RankType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const rte::FormalRTE < SymbolType, RankType > & input );
};
template < typename SymbolType, class RankType >
diff --git a/alib2data/src/rte/xml/common/RTEToXmlComposer.h b/alib2data/src/rte/xml/common/RTEToXmlComposer.h
index 8e9f31dcaa..c7a112825d 100644
--- a/alib2data/src/rte/xml/common/RTEToXmlComposer.h
+++ b/alib2data/src/rte/xml/common/RTEToXmlComposer.h
@@ -32,7 +32,7 @@ public:
template < class SymbolType, class RankType >
static void visit ( const FormalRTEIteration < SymbolType, RankType > & iteration, ext::deque < sax::Token > & output );
template < class SymbolType, class RankType >
- static void visit ( const FormalRTESubstitution < SymbolType, RankType > & concatenation, ext::deque < sax::Token > & output );
+ static void visit ( const FormalRTESubstitution < SymbolType, RankType > & substitution, ext::deque < sax::Token > & output );
template < class SymbolType, class RankType >
static void visit ( const FormalRTESymbolAlphabet < SymbolType, RankType > & symbol, ext::deque < sax::Token > & output );
template < class SymbolType, class RankType >
diff --git a/alib2data/src/string/xml/CyclicString.h b/alib2data/src/string/xml/CyclicString.h
index 10fa0dd015..70bc4941b6 100644
--- a/alib2data/src/string/xml/CyclicString.h
+++ b/alib2data/src/string/xml/CyclicString.h
@@ -21,7 +21,7 @@ struct xmlApi < string::CyclicString < SymbolType > > {
static string::CyclicString < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const string::CyclicString < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const string::CyclicString < SymbolType > & input );
};
template < typename SymbolType >
diff --git a/alib2data/src/string/xml/LinearString.h b/alib2data/src/string/xml/LinearString.h
index 04cbf27002..69452c2a65 100644
--- a/alib2data/src/string/xml/LinearString.h
+++ b/alib2data/src/string/xml/LinearString.h
@@ -21,7 +21,7 @@ struct xmlApi < string::LinearString < SymbolType > > {
static string::LinearString < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const string::LinearString < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const string::LinearString < SymbolType > & input );
};
template < typename SymbolType >
diff --git a/alib2data/src/string/xml/WildcardLinearString.h b/alib2data/src/string/xml/WildcardLinearString.h
index 603f5a1d7d..9cec0a012a 100644
--- a/alib2data/src/string/xml/WildcardLinearString.h
+++ b/alib2data/src/string/xml/WildcardLinearString.h
@@ -21,7 +21,7 @@ struct xmlApi < string::WildcardLinearString < SymbolType > > {
static string::WildcardLinearString < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const string::WildcardLinearString < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const string::WildcardLinearString < SymbolType > & input );
};
template < typename SymbolType >
diff --git a/alib2data/src/tree/common/TreeAuxiliary.h b/alib2data/src/tree/common/TreeAuxiliary.h
index b2a900fd0d..a670538979 100644
--- a/alib2data/src/tree/common/TreeAuxiliary.h
+++ b/alib2data/src/tree/common/TreeAuxiliary.h
@@ -33,9 +33,9 @@ public:
static ext::set < common::ranked_symbol < SymbolType, RankType > > computeBars ( const ext::set < common::ranked_symbol < SymbolType, RankType > > & alphabet, const SymbolType & barBase );
template < class SymbolType, class RankType >
- static ext::tree < common::ranked_symbol < SymbolType, RankType > > unrankedToRanked ( const ext::tree < SymbolType > & from );
+ static ext::tree < common::ranked_symbol < SymbolType, RankType > > unrankedToRanked ( const ext::tree < SymbolType > & tree );
template < class SymbolType, class RankType >
- static ext::tree < SymbolType > rankedToUnranked ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & from );
+ static ext::tree < SymbolType > rankedToUnranked ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & tree );
template < class SymbolType, class RankType >
static ext::tree < common::ranked_symbol < SymbolType, RankType > > postfixToTree (const ext::vector < common::ranked_symbol < SymbolType, RankType > > & from);
diff --git a/alib2data/src/tree/ranked/RankedNonlinearPattern.h b/alib2data/src/tree/ranked/RankedNonlinearPattern.h
index 78c9ee2c6d..d539f3ee40 100644
--- a/alib2data/src/tree/ranked/RankedNonlinearPattern.h
+++ b/alib2data/src/tree/ranked/RankedNonlinearPattern.h
@@ -87,7 +87,7 @@ class RankedNonlinearPattern final : public ext::CompareOperators < RankedNonlin
*
* \param data the pattern in its natural representation
*/
- void checkAlphabet ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & pattern ) const;
+ void checkAlphabet ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & data ) const;
/**
* Checks that the rank of each symbol of a pattern node corresponds to the number of child nodes of that same node.
diff --git a/alib2data/src/tree/ranked/RankedPattern.h b/alib2data/src/tree/ranked/RankedPattern.h
index 99a9b2a978..9e26686e32 100644
--- a/alib2data/src/tree/ranked/RankedPattern.h
+++ b/alib2data/src/tree/ranked/RankedPattern.h
@@ -85,7 +85,7 @@ class RankedPattern final : public ext::CompareOperators < RankedPattern < Symbo
*
* \param data the pattern in its natural representation
*/
- void checkAlphabet ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & pattern ) const;
+ void checkAlphabet ( const ext::tree < common::ranked_symbol < SymbolType, RankType > > & data ) const;
/**
* Checks that the rank of each symbol of a pattern node corresponds to the number of child nodes of that same node.
diff --git a/alib2data/src/tree/unranked/UnrankedNonlinearPattern.h b/alib2data/src/tree/unranked/UnrankedNonlinearPattern.h
index db718bd131..e807ec51d7 100644
--- a/alib2data/src/tree/unranked/UnrankedNonlinearPattern.h
+++ b/alib2data/src/tree/unranked/UnrankedNonlinearPattern.h
@@ -85,7 +85,7 @@ class UnrankedNonlinearPattern final : public ext::CompareOperators < UnrankedNo
*
* \param data the pattern in its natural representation
*/
- void checkAlphabet ( const ext::tree < SymbolType > & pattern ) const;
+ void checkAlphabet ( const ext::tree < SymbolType > & data ) const;
public:
/**
diff --git a/alib2data/src/tree/unranked/UnrankedPattern.h b/alib2data/src/tree/unranked/UnrankedPattern.h
index a3a6a6c90a..0933bece9d 100644
--- a/alib2data/src/tree/unranked/UnrankedPattern.h
+++ b/alib2data/src/tree/unranked/UnrankedPattern.h
@@ -83,7 +83,7 @@ class UnrankedPattern final : public ext::CompareOperators < UnrankedPattern < S
*
* \param data the pattern in its natural representation
*/
- void checkAlphabet ( const ext::tree < SymbolType > & pattern ) const;
+ void checkAlphabet ( const ext::tree < SymbolType > & data ) const;
public:
/**
diff --git a/alib2data/src/tree/unranked/UnrankedTree.h b/alib2data/src/tree/unranked/UnrankedTree.h
index e8f452b09c..af0756313d 100644
--- a/alib2data/src/tree/unranked/UnrankedTree.h
+++ b/alib2data/src/tree/unranked/UnrankedTree.h
@@ -82,7 +82,7 @@ class UnrankedTree final : public ext::CompareOperators < UnrankedTree < SymbolT
*
* \param data the pattern in its natural representation
*/
- void checkAlphabet ( const ext::tree < SymbolType > & pattern ) const;
+ void checkAlphabet ( const ext::tree < SymbolType > & data ) const;
public:
/**
@@ -98,7 +98,7 @@ public:
*
* \param pattern the initial content in it's natural representation
*/
- explicit UnrankedTree ( ext::tree < SymbolType > tree );
+ explicit UnrankedTree ( ext::tree < SymbolType > pattern );
/**
* \brief Creates a new instance of the pattern based on RankedTree, the alphabet is created from the content of the RankedTree.
diff --git a/alib2data_experimental/src/indexes/stringology/CompactSuffixAutomatonTerminatingSymbol.h b/alib2data_experimental/src/indexes/stringology/CompactSuffixAutomatonTerminatingSymbol.h
index 20ae7812b4..c9757fedbf 100644
--- a/alib2data_experimental/src/indexes/stringology/CompactSuffixAutomatonTerminatingSymbol.h
+++ b/alib2data_experimental/src/indexes/stringology/CompactSuffixAutomatonTerminatingSymbol.h
@@ -192,7 +192,7 @@ struct xmlApi < indexes::stringology::CompactSuffixAutomatonTerminatingSymbol <
static indexes::stringology::CompactSuffixAutomatonTerminatingSymbol < SymbolType > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::CompactSuffixAutomatonTerminatingSymbol < SymbolType > & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::CompactSuffixAutomatonTerminatingSymbol < SymbolType > & index );
};
template < class SymbolType >
diff --git a/alib2data_experimental/src/indexes/stringology/SuffixTrieTerminatingSymbol.h b/alib2data_experimental/src/indexes/stringology/SuffixTrieTerminatingSymbol.h
index 4eec7976d8..d189f3c329 100644
--- a/alib2data_experimental/src/indexes/stringology/SuffixTrieTerminatingSymbol.h
+++ b/alib2data_experimental/src/indexes/stringology/SuffixTrieTerminatingSymbol.h
@@ -110,7 +110,7 @@ struct xmlApi < indexes::SuffixTrieTerminatingSymbol > {
static indexes::SuffixTrieTerminatingSymbol parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const indexes::SuffixTrieTerminatingSymbol & data );
+ static void compose ( ext::deque < sax::Token > & output, const indexes::SuffixTrieTerminatingSymbol & index );
};
} /* namespace core */
diff --git a/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h b/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
index d2564f784d..a80334d8b1 100644
--- a/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
+++ b/alib2elgo/src/automaton/simplify/efficient/UnreachableStatesRemover.h
@@ -33,7 +33,7 @@ public:
* Removes dead states from FSM. Melichar 2.29
*/
template < class T >
- static T remove( const T & automaton );
+ static T remove( const T & fsm );
template < class SymbolType, class StateType >
static automaton::MultiInitialStateNFA < SymbolType, StateType > remove( const automaton::MultiInitialStateNFA < SymbolType, StateType > & fsm );
};
diff --git a/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h b/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
index 7cd551e9db..3ce47d360c 100644
--- a/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
+++ b/alib2elgo/src/automaton/simplify/efficient/UselessStatesRemover.h
@@ -33,7 +33,7 @@ public:
* Removes dead states from FSM. Melichar 2.29
*/
template < class T >
- static T remove( const T & automaton );
+ static T remove( const T & fsm );
template < class SymbolType, class StateType >
static automaton::MultiInitialStateNFA < SymbolType, StateType > remove( const automaton::MultiInitialStateNFA < SymbolType, StateType > & fsm );
};
diff --git a/alib2graph_data/src/edge/capacity/CapacityEdge.hpp b/alib2graph_data/src/edge/capacity/CapacityEdge.hpp
index 1b9a1730f3..64c6ed1904 100644
--- a/alib2graph_data/src/edge/capacity/CapacityEdge.hpp
+++ b/alib2graph_data/src/edge/capacity/CapacityEdge.hpp
@@ -42,7 +42,7 @@ class CapacityEdge : public ext::pair<TNode, TNode>, public EdgeBase {
// ---------------------------------------------------------------------------------------------------------------------
TCapacity capacity() const;
- void capacity(TCapacity &&weight);
+ void capacity(TCapacity &&capacity);
// =====================================================================================================================
// EdgeBase interface
diff --git a/alib2gui/src/Graphics/Connection/Connection.hpp b/alib2gui/src/Graphics/Connection/Connection.hpp
index 13e29f33bb..48a15274d6 100644
--- a/alib2gui/src/Graphics/Connection/Connection.hpp
+++ b/alib2gui/src/Graphics/Connection/Connection.hpp
@@ -22,7 +22,7 @@ public:
private:
void drawDirectConnection(QPainter* painter, const QPointF& originPoint, const QPointF& targetPoint);
void drawAroundConnection(QPainter* painter, const QPointF& originPoint, const QPointF& targetPoint);
- void recalculateBoundingRect(const QPointF& topLeft, const QPointF& bottomRight);
+ void recalculateBoundingRect(const QPointF& a, const QPointF& bottomRight);
QRectF boundRect;
diff --git a/alib2gui/src/GraphvizIntegrator.hpp b/alib2gui/src/GraphvizIntegrator.hpp
index e76378847c..fe91ade1b5 100644
--- a/alib2gui/src/GraphvizIntegrator.hpp
+++ b/alib2gui/src/GraphvizIntegrator.hpp
@@ -12,7 +12,7 @@ namespace GraphvizIntegrator
QImage createImage(const QString& dotData , PictureFormat format);
bool createImageFile(const QString& dotData, QString filename , PictureFormat format);
- PictureFormat formatFromFilename(const QString& qString);
+ PictureFormat formatFromFilename(const QString& format);
}
diff --git a/alib2gui/src/Models/ModelBox.hpp b/alib2gui/src/Models/ModelBox.hpp
index 9742aa2173..cdebbc67dc 100644
--- a/alib2gui/src/Models/ModelBox.hpp
+++ b/alib2gui/src/Models/ModelBox.hpp
@@ -41,8 +41,8 @@ public:
private:
void setInput(size_t slot, ModelBox* model);
- void addOutput(ModelBox* model, size_t slot);
- void removeOutput(ModelBox* model, size_t slot);
+ void addOutput(ModelBox* target, size_t slot);
+ void removeOutput(ModelBox* target, size_t slot);
protected:
ModelType type;
diff --git a/alib2raw/src/registry/RawReaderRegistry.hpp b/alib2raw/src/registry/RawReaderRegistry.hpp
index 0ed8b66b59..3f820e97c0 100644
--- a/alib2raw/src/registry/RawReaderRegistry.hpp
+++ b/alib2raw/src/registry/RawReaderRegistry.hpp
@@ -62,7 +62,7 @@ public:
registerRawReader < ReturnType > ( std::move ( type ) );
}
- static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & group );
+ static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & type );
};
} /* namespace abstraction */
diff --git a/alib2std/src/extensions/container/string.hpp b/alib2std/src/extensions/container/string.hpp
index 15aa3fd14a..fd043935a3 100644
--- a/alib2std/src/extensions/container/string.hpp
+++ b/alib2std/src/extensions/container/string.hpp
@@ -250,7 +250,7 @@ std::string to_string ( char value );
*
* \return string representation of cstring
*/
-std::string to_string ( char * value );
+std::string to_string ( char * param );
diff --git a/alib2std/src/extensions/fdstream.hpp b/alib2std/src/extensions/fdstream.hpp
index 737abaecac..faadeedbff 100644
--- a/alib2std/src/extensions/fdstream.hpp
+++ b/alib2std/src/extensions/fdstream.hpp
@@ -146,7 +146,7 @@ public:
*
* \param fd the file descriptor number
*/
- explicit fdstreambuf ( int fd );
+ explicit fdstreambuf ( int fileDescriptor );
/**
* \brief
@@ -235,7 +235,7 @@ public:
* \param preferedFD the prefered destination file descriptor
* \param fallbackFD the fallback destination file descriptor
*/
- explicit ofdstream ( int preferedFD, int fallbackFD = FAIL_FD);
+ explicit ofdstream ( int preferedFD, int fallback_fd = FAIL_FD);
/**
* \brief
diff --git a/alib2str/src/regexp/string/UnboundedRegExp.h b/alib2str/src/regexp/string/UnboundedRegExp.h
index c0322f5c0a..79adfc4419 100644
--- a/alib2str/src/regexp/string/UnboundedRegExp.h
+++ b/alib2str/src/regexp/string/UnboundedRegExp.h
@@ -28,11 +28,11 @@ struct stringApi < regexp::UnboundedRegExpStructure < SymbolType > > {
private:
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > alternation(std::istream & input);
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > alternationCont(std::istream & input, ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > left);
- static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > alternationContCont(std::istream & input, regexp::UnboundedRegExpAlternation < SymbolType > left);
+ static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > alternationContCont(std::istream & input, regexp::UnboundedRegExpAlternation < SymbolType > res);
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > concatenation(std::istream & input);
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > concatenationCont(std::istream & input, ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > left);
- static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > concatenationContCont(std::istream & input, regexp::UnboundedRegExpConcatenation < SymbolType > left);
+ static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > concatenationContCont(std::istream & input, regexp::UnboundedRegExpConcatenation < SymbolType > res);
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > factor(std::istream & input);
static ext::ptr_value < regexp::UnboundedRegExpElement < SymbolType > > star(std::istream & input, regexp::UnboundedRegExpElement < SymbolType > && elem);
diff --git a/alib2str/src/registry/StringReaderRegistry.hpp b/alib2str/src/registry/StringReaderRegistry.hpp
index 2c2e3f32ff..7cba1c41b6 100644
--- a/alib2str/src/registry/StringReaderRegistry.hpp
+++ b/alib2str/src/registry/StringReaderRegistry.hpp
@@ -64,7 +64,7 @@ public:
return entry.insert ( entry.end ( ), std::make_pair ( core::stringApi < ReturnType >::first, std::unique_ptr < Entry > ( new EntryImpl < ReturnType > ( ) ) ) );
}
- static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & group, const std::string & data );
+ static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & group, const std::string & str );
};
} /* namespace abstraction */
diff --git a/alib2str/src/rte/string/FormalRTE.h b/alib2str/src/rte/string/FormalRTE.h
index 172b12ba52..d70fd267ba 100644
--- a/alib2str/src/rte/string/FormalRTE.h
+++ b/alib2str/src/rte/string/FormalRTE.h
@@ -49,7 +49,7 @@ private:
static void visit( const rte::FormalRTESubstitution < SymbolType, RankType > & substitution, ext::tuple < Priority &, std::ostream & > & output);
static void visit( const rte::FormalRTEIteration < SymbolType, RankType > & iteration, ext::tuple < Priority &, std::ostream & > & output);
static void visit( const rte::FormalRTESymbolAlphabet < SymbolType, RankType > & symbol, ext::tuple < Priority &, std::ostream & > & output);
- static void visit( const rte::FormalRTESymbolSubst < SymbolType, RankType > & epsilon, ext::tuple < Priority &, std::ostream & > & output);
+ static void visit( const rte::FormalRTESymbolSubst < SymbolType, RankType > & symbol, ext::tuple < Priority &, std::ostream & > & output);
static void visit( const rte::FormalRTEEmpty < SymbolType, RankType > & empty, ext::tuple < Priority &, std::ostream & > & output);
};
diff --git a/alib2str/src/string/string/common/StringToStringComposerCommon.h b/alib2str/src/string/string/common/StringToStringComposerCommon.h
index 87e10188ee..be01a617b4 100644
--- a/alib2str/src/string/string/common/StringToStringComposerCommon.h
+++ b/alib2str/src/string/string/common/StringToStringComposerCommon.h
@@ -18,7 +18,7 @@ namespace string {
class StringToStringComposerCommon {
public:
template < class SymbolType >
- static void composeContent ( std::ostream & output, const std::vector < SymbolType > & string );
+ static void composeContent ( std::ostream & output, const std::vector < SymbolType > & content );
};
template < class SymbolType >
diff --git a/alib2xml/src/container/xml/ObjectsBitset.h b/alib2xml/src/container/xml/ObjectsBitset.h
index 490489da75..dc0182a1a2 100644
--- a/alib2xml/src/container/xml/ObjectsBitset.h
+++ b/alib2xml/src/container/xml/ObjectsBitset.h
@@ -20,7 +20,7 @@ struct xmlApi < ext::bitset < N > > {
static ext::bitset < N > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::bitset < N > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::bitset < N > & input );
};
template < size_t N >
diff --git a/alib2xml/src/container/xml/ObjectsDeque.h b/alib2xml/src/container/xml/ObjectsDeque.h
index f2227ae651..dd3d8cad1d 100644
--- a/alib2xml/src/container/xml/ObjectsDeque.h
+++ b/alib2xml/src/container/xml/ObjectsDeque.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::deque < T > > {
static ext::deque < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::deque < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::deque < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/container/xml/ObjectsList.h b/alib2xml/src/container/xml/ObjectsList.h
index d0a16cc2ff..304d75eba8 100644
--- a/alib2xml/src/container/xml/ObjectsList.h
+++ b/alib2xml/src/container/xml/ObjectsList.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::list < T > > {
static ext::list < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::list < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::list < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/container/xml/ObjectsMap.h b/alib2xml/src/container/xml/ObjectsMap.h
index 4394a3ce6c..5f616091bc 100644
--- a/alib2xml/src/container/xml/ObjectsMap.h
+++ b/alib2xml/src/container/xml/ObjectsMap.h
@@ -19,7 +19,7 @@ struct xmlApi < ext::map < T, R > > {
static ext::map < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::map < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::map < T, R > & input );
};
template < typename T, typename R >
diff --git a/alib2xml/src/container/xml/ObjectsMultimap.h b/alib2xml/src/container/xml/ObjectsMultimap.h
index 5c00af5527..7df15efee0 100644
--- a/alib2xml/src/container/xml/ObjectsMultimap.h
+++ b/alib2xml/src/container/xml/ObjectsMultimap.h
@@ -19,7 +19,7 @@ struct xmlApi < ext::multimap < T, R > > {
static ext::multimap < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::multimap < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::multimap < T, R > & input );
};
template < typename T, typename R >
diff --git a/alib2xml/src/container/xml/ObjectsOptional.h b/alib2xml/src/container/xml/ObjectsOptional.h
index 9dc16e2aa8..6f7b7e8b8c 100644
--- a/alib2xml/src/container/xml/ObjectsOptional.h
+++ b/alib2xml/src/container/xml/ObjectsOptional.h
@@ -19,7 +19,7 @@ struct xmlApi < ext::optional < T > > {
static ext::optional < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::optional < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::optional < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/container/xml/ObjectsPair.h b/alib2xml/src/container/xml/ObjectsPair.h
index bbe137dc37..8f61a8884b 100644
--- a/alib2xml/src/container/xml/ObjectsPair.h
+++ b/alib2xml/src/container/xml/ObjectsPair.h
@@ -18,7 +18,7 @@ struct xmlApi < std::pair < T, R > > {
static std::pair < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const std::pair < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const std::pair < T, R > & input );
};
template < typename T, typename R >
@@ -58,7 +58,7 @@ struct xmlApi < ext::pair < T, R > > {
static ext::pair < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::pair < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::pair < T, R > & input );
};
template < typename T, typename R >
diff --git a/alib2xml/src/container/xml/ObjectsSet.h b/alib2xml/src/container/xml/ObjectsSet.h
index d9e02af024..c0879fb75c 100644
--- a/alib2xml/src/container/xml/ObjectsSet.h
+++ b/alib2xml/src/container/xml/ObjectsSet.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::set < T > > {
static ext::set < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::set < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::set < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/container/xml/ObjectsTree.h b/alib2xml/src/container/xml/ObjectsTree.h
index 9cc677d2a3..1eea4ebb1b 100644
--- a/alib2xml/src/container/xml/ObjectsTree.h
+++ b/alib2xml/src/container/xml/ObjectsTree.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::tree < T > > {
static ext::tree < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::tree < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::tree < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/container/xml/ObjectsTrie.h b/alib2xml/src/container/xml/ObjectsTrie.h
index bc774cd5dc..2d757a01c8 100644
--- a/alib2xml/src/container/xml/ObjectsTrie.h
+++ b/alib2xml/src/container/xml/ObjectsTrie.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::trie < T, R > > {
static ext::trie < T, R > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::trie < T, R > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::trie < T, R > & input );
private:
static ext::map < T, ext::trie < T, R > > parseChildren ( ext::deque < sax::Token >::iterator & input );
diff --git a/alib2xml/src/container/xml/ObjectsVariant.h b/alib2xml/src/container/xml/ObjectsVariant.h
index 3ce1fa1c16..05f021ffab 100644
--- a/alib2xml/src/container/xml/ObjectsVariant.h
+++ b/alib2xml/src/container/xml/ObjectsVariant.h
@@ -51,7 +51,7 @@ struct xmlApi < ext::variant < Ts ... > > {
static ext::variant < Ts ... > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::variant < Ts ... > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::variant < Ts ... > & input );
};
template < typename ... Ts >
diff --git a/alib2xml/src/container/xml/ObjectsVector.h b/alib2xml/src/container/xml/ObjectsVector.h
index eade51b9ce..93e9859b14 100644
--- a/alib2xml/src/container/xml/ObjectsVector.h
+++ b/alib2xml/src/container/xml/ObjectsVector.h
@@ -18,7 +18,7 @@ struct xmlApi < ext::vector < T > > {
static ext::vector < T > parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const ext::vector < T > & data );
+ static void compose ( ext::deque < sax::Token > & output, const ext::vector < T > & input );
};
template < typename T >
diff --git a/alib2xml/src/measure/xml/MeasurementResults.hpp b/alib2xml/src/measure/xml/MeasurementResults.hpp
index 0c09e69cc4..cc2a0ef802 100644
--- a/alib2xml/src/measure/xml/MeasurementResults.hpp
+++ b/alib2xml/src/measure/xml/MeasurementResults.hpp
@@ -15,7 +15,7 @@ struct xmlApi < measurements::MeasurementResults > {
static measurements::MeasurementResults parse ( ext::deque < sax::Token >::iterator & input );
static bool first ( const ext::deque < sax::Token >::const_iterator & input );
static std::string xmlTagName ( );
- static void compose ( ext::deque < sax::Token > & output, const measurements::MeasurementResults & data );
+ static void compose ( ext::deque < sax::Token > & output, const measurements::MeasurementResults & input );
private:
static std::string MEASUREMENT_RESULTS_TAG;
diff --git a/alib2xml/src/registry/XmlContainerParserRegistry.hpp b/alib2xml/src/registry/XmlContainerParserRegistry.hpp
index 6104009a91..f012834c55 100644
--- a/alib2xml/src/registry/XmlContainerParserRegistry.hpp
+++ b/alib2xml/src/registry/XmlContainerParserRegistry.hpp
@@ -83,7 +83,7 @@ public:
static std::shared_ptr < abstraction::OperationAbstraction > getAbstraction ( const std::string & container, const std::string & type );
- static ext::set < std::string > listOverloads ( const std::string & algorithm );
+ static ext::set < std::string > listOverloads ( const std::string & container );
static ext::set < std::string > list ( );
};
diff --git a/alib2xml/src/registry/XmlRegistry.h b/alib2xml/src/registry/XmlRegistry.h
index 7fc56ef229..0534f6a362 100644
--- a/alib2xml/src/registry/XmlRegistry.h
+++ b/alib2xml/src/registry/XmlRegistry.h
@@ -25,7 +25,7 @@ public:
static ext::set < std::string > listDataTypes ( );
static ext::set < std::string > listDataTypeGroup ( const std::string & group );
- static std::shared_ptr < abstraction::OperationAbstraction > getXmlComposerAbstraction ( const std::string & type );
+ static std::shared_ptr < abstraction::OperationAbstraction > getXmlComposerAbstraction ( const std::string & param );
static std::shared_ptr < abstraction::OperationAbstraction > getXmlParserAbstraction ( const std::string & type );
static std::shared_ptr < abstraction::OperationAbstraction > getXmlContainerParserAbstraction ( const std::string & container, const std::string & type );
diff --git a/alib2xml/src/sax/SaxParseInterface.h b/alib2xml/src/sax/SaxParseInterface.h
index 8a0f886ad5..7d8b54d428 100644
--- a/alib2xml/src/sax/SaxParseInterface.h
+++ b/alib2xml/src/sax/SaxParseInterface.h
@@ -19,7 +19,7 @@ namespace sax {
* method for libxml SAX parser.
*/
class SaxParseInterface {
- static int xmlSAXUserParse(xmlTextReaderPtr writer, ext::deque<Token>& out);
+ static int xmlSAXUserParse(xmlTextReaderPtr reader, ext::deque<Token>& out);
public:
/**
* Parses the string containing XML.
--
GitLab