From db6b74f2762cc3526a793e12198a191ede8fb378 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 5 Feb 2019 22:59:37 +0100
Subject: [PATCH] user documentation and algorithm name fix reachable symbols
 in a grammar

---
 .../grammar/properties/ReachableSymbols.cpp   |   81 +
 ...nreachableSymbols.h => ReachableSymbols.h} |   18 +-
 .../grammar/properties/UnreachableSymbols.cpp |   37 -
 .../simplify/UnreachableSymbolsRemover.h      |    6 +-
 docs/userGuide/userGuide.tex                  | 1621 ++++++++++++++++-
 5 files changed, 1713 insertions(+), 50 deletions(-)
 create mode 100644 alib2algo/src/grammar/properties/ReachableSymbols.cpp
 rename alib2algo/src/grammar/properties/{UnreachableSymbols.h => ReachableSymbols.h} (71%)
 delete mode 100644 alib2algo/src/grammar/properties/UnreachableSymbols.cpp

diff --git a/alib2algo/src/grammar/properties/ReachableSymbols.cpp b/alib2algo/src/grammar/properties/ReachableSymbols.cpp
new file mode 100644
index 0000000000..51258ddeb6
--- /dev/null
+++ b/alib2algo/src/grammar/properties/ReachableSymbols.cpp
@@ -0,0 +1,81 @@
+/*
+ * ReachableSymbols.cpp
+ *
+ *  Created on: 22. 3. 2014
+ *	  Author: Tomas Pecka
+ */
+
+#include <grammar/ContextFree/CFG.h>
+#include <grammar/ContextFree/EpsilonFreeCFG.h>
+#include <grammar/ContextFree/GNF.h>
+#include <grammar/ContextFree/CNF.h>
+#include <grammar/ContextFree/LG.h>
+#include <grammar/Regular/LeftLG.h>
+#include <grammar/Regular/LeftRG.h>
+#include <grammar/Regular/RightLG.h>
+#include <grammar/Regular/RightRG.h>
+
+#include "ReachableSymbols.h"
+#include <registration/AlgoRegistration.hpp>
+
+namespace grammar {
+
+namespace properties {
+
+auto ReachableSymbolsCFG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::CFG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsEpsilonFreeCFG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::EpsilonFreeCFG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsGNF = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::GNF < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsCNF = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::CNF < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsLG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsLeftLG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LeftLG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsLeftRG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LeftRG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsRightLG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::RightLG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+auto ReachableSymbolsRightRG = registration::AbstractRegister < ReachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::RightRG < > & > ( ReachableSymbols::getReachableSymbols, "grammar" ).setDocumentation (
+"Implements retrieval of symbols that are reachable, i.e. symbols a \\in { b : S->*\\alpha b \\beta, where \\alpha and \\beta \\in (NuT)*}\n\
+\n\
+@param grammar the tested grammar\n\
+@return set of symbols that are reachable in the grammar" );
+
+} /* namespace properties */
+
+} /* namespace grammar */
diff --git a/alib2algo/src/grammar/properties/UnreachableSymbols.h b/alib2algo/src/grammar/properties/ReachableSymbols.h
similarity index 71%
rename from alib2algo/src/grammar/properties/UnreachableSymbols.h
rename to alib2algo/src/grammar/properties/ReachableSymbols.h
index 3c0713c946..b6b520ef2b 100644
--- a/alib2algo/src/grammar/properties/UnreachableSymbols.h
+++ b/alib2algo/src/grammar/properties/ReachableSymbols.h
@@ -1,5 +1,5 @@
 /*
- * UnreachableSymbols.h
+ * ReachableSymbols.h
  *
  *  Created on: 22. 3. 2014
  *	  Author: Tomas Pecka
@@ -23,17 +23,25 @@ namespace properties {
 /**
  * Implements algorithms from Melichar, chapter 3.3
  */
-class UnreachableSymbols {
+class ReachableSymbols {
 public:
 	/**
-	 * Implements
+	 * Implements retrieval of symbols that are reachable, i.e. symbols a \in { b : S->*\alpha b \beta, where \alpha and \beta \in (NuT)*}
+	 *
+	 * \tparam T the tested grammar
+	 * \tparam TerminalSymbolType the type of terminals in the tested grammar
+	 * \tparam NonterminalSymbolType the type of nonterminals in the tested grammar
+	 *
+	 * \param grammar the tested grammar
+	 *
+	 * \return set of symbols that are reachable in the grammar
 	 */
 	template<class T, class TerminalSymbolType = typename grammar::TerminalSymbolTypeOfGrammar < T >, class NonterminalSymbolType = typename grammar::NonterminalSymbolTypeOfGrammar < T > >
-	static ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > getUnreachableSymbols ( const T & grammar );
+	static ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > getReachableSymbols ( const T & grammar );
 };
 
 template<class T, class TerminalSymbolType, class NonterminalSymbolType >
-ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > UnreachableSymbols::getUnreachableSymbols( const T & grammar ) {
+ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > ReachableSymbols::getReachableSymbols( const T & grammar ) {
 	auto rawRules = grammar::RawRules::getRawRules ( grammar );
 
 	// 1
diff --git a/alib2algo/src/grammar/properties/UnreachableSymbols.cpp b/alib2algo/src/grammar/properties/UnreachableSymbols.cpp
deleted file mode 100644
index 9415c5b6e8..0000000000
--- a/alib2algo/src/grammar/properties/UnreachableSymbols.cpp
+++ /dev/null
@@ -1,37 +0,0 @@
-/*
- * UnreachableSymbols.cpp
- *
- *  Created on: 22. 3. 2014
- *	  Author: Tomas Pecka
- */
-
-#include <grammar/ContextFree/CFG.h>
-#include <grammar/ContextFree/EpsilonFreeCFG.h>
-#include <grammar/ContextFree/GNF.h>
-#include <grammar/ContextFree/CNF.h>
-#include <grammar/ContextFree/LG.h>
-#include <grammar/Regular/LeftLG.h>
-#include <grammar/Regular/LeftRG.h>
-#include <grammar/Regular/RightLG.h>
-#include <grammar/Regular/RightRG.h>
-
-#include "UnreachableSymbols.h"
-#include <registration/AlgoRegistration.hpp>
-
-namespace grammar {
-
-namespace properties {
-
-auto UnreachableSymbolsCFG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::CFG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsEpsilonFreeCFG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::EpsilonFreeCFG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsGNF = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::GNF < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsCNF = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::CNF < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsLG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsLeftLG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LeftLG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsLeftRG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::LeftRG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsRightLG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::RightLG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-auto UnreachableSymbolsRightRG = registration::AbstractRegister < UnreachableSymbols, ext::set < ext::variant < DefaultSymbolType, DefaultSymbolType > >, const grammar::RightRG < > & > ( UnreachableSymbols::getUnreachableSymbols );
-
-} /* namespace properties */
-
-} /* namespace grammar */
diff --git a/alib2algo/src/grammar/simplify/UnreachableSymbolsRemover.h b/alib2algo/src/grammar/simplify/UnreachableSymbolsRemover.h
index f82a61244b..0a2b65f419 100644
--- a/alib2algo/src/grammar/simplify/UnreachableSymbolsRemover.h
+++ b/alib2algo/src/grammar/simplify/UnreachableSymbolsRemover.h
@@ -1,5 +1,5 @@
 /*
- * UnreachableSymbolsRemover.h
+ * ReachableSymbolsRemover.h
  *
  *  Created on: 22. 3. 2014
  *	  Author: Tomas Pecka
@@ -21,7 +21,7 @@
 #include <alib/set>
 #include <alib/algorithm>
 
-#include <grammar/properties/UnreachableSymbols.h>
+#include <grammar/properties/ReachableSymbols.h>
 
 #include <grammar/RawRules.h>
 #include <grammar/AddRawRule.h>
@@ -45,7 +45,7 @@ public:
 template < class T, class TerminalSymbolType, class NonterminalSymbolType >
 T UnreachableSymbolsRemover::remove( const T & grammar) {
 	// 1.
-	ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > Vt = grammar::properties::UnreachableSymbols::getUnreachableSymbols( grammar );
+	ext::set < ext::variant < TerminalSymbolType, NonterminalSymbolType > > Vt = grammar::properties::ReachableSymbols::getReachableSymbols( grammar );
 
 	T ret ( grammar.getInitialSymbol ( ) );
 
diff --git a/docs/userGuide/userGuide.tex b/docs/userGuide/userGuide.tex
index 073091c98c..7052bd151f 100644
--- a/docs/userGuide/userGuide.tex
+++ b/docs/userGuide/userGuide.tex
@@ -1,18 +1,18 @@
-%%% DOCUMENTCLASS 
+%%% DOCUMENTCLASS
 %%%-------------------------------------------------------------------------------
 
 \documentclass[
 a4paper, % Stock and paper size.
 11pt, % Type size.
 % article,
-% oneside, 
+% oneside,
 onecolumn, % Only one column of text on a page.
 % openright, % Each chapter will start on a recto page.
 % openleft, % Each chapter will start on a verso page.
 openany, % A chapter may start on either a recto or verso page.
 ]{memoir}
 
-%%% PACKAGES 
+%%% PACKAGES
 %%%------------------------------------------------------------------------------
 
 \usepackage[utf8]{inputenc} % If utf8 encoding
@@ -28,7 +28,7 @@ openany, % A chapter may start on either a recto or verso page.
 % \usepackage{tikz} % Figures
 \usepackage{graphicx} % Include figures
 
-%%% PAGE LAYOUT 
+%%% PAGE LAYOUT
 %%%------------------------------------------------------------------------------
 
 \setlrmarginsandblock{0.15\paperwidth}{*}{1} % Left and right margin
@@ -89,7 +89,7 @@ openany, % A chapter may start on either a recto or verso page.
 \setlength{\absleftindent}{0.1\textwidth} % Width of abstract
 \setlength{\absrightindent}{\absleftindent}
 
-%%% HEADER AND FOOTER 
+%%% HEADER AND FOOTER
 %%%------------------------------------------------------------------------------
 
 \makepagestyle{standard} % Make standard pagestyle
@@ -687,6 +687,1617 @@ Use of out\_redirect symbol is overloaded and allows to set a variable.
 
 \section{Builtin commands}
 
+\chapter{Available algorithms}
+
+\section{Tree and arbology algorithms}
+tree::generate::RandomRankedNonlinearPatternFactory
+default: tree::RankedNonlinearPattern<object::Object, unsigned int> ( int depth, int nodesCount, int maxAlphabetSize, bool randomizedAlphabet, bool singleNonlinearVariable, int maxRank )
+
+tree::generate::RandomRankedPatternFactory
+default: tree::RankedPattern<object::Object, unsigned int> ( int depth, int nodesCount, int randomizedAlphabet, bool maxAlphabetSize, int maxRank )
+
+tree::generate::RandomRankedTreeFactory
+default: tree::RankedTree<object::Object, unsigned int> ( int depth, int nodesCount, int maxAlphabetSize, bool randomizedAlphabet, int maxRank )
+
+tree::generate::RandomUnrankedPatternFactory
+default: tree::UnrankedPattern<object::Object> ( int depth, int nodesCount, int maxAlphabetSize, bool randomizedAlphabet, int maxRank )
+
+tree::generate::RandomUnrankedTreeFactory
+default: tree::UnrankedTree<object::Object> ( int depth, int nodesCount, int maxAlphabetSize, bool randomizedAlphabet, int maxRank )
+
+tree::properties::BadCharacterShiftTable
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+
+tree::properties::BorderArrayNaive
+default: ext::vector<unsigned long, std::allocator<unsigned long> > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<unsigned long, std::allocator<unsigned long> > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<unsigned long, std::allocator<unsigned long> > ( const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<unsigned long, std::allocator<unsigned long> > ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+
+tree::properties::ExactSubtreeRepeats
+default: tree::PostfixRankedTree<unsigned int, unsigned int> ( const tree::PostfixRankedTree<object::Object, unsigned int> & arg0 )
+
+tree::properties::ExactSubtreeRepeatsNaive
+default: tree::PostfixRankedTree<unsigned int, unsigned int> ( const tree::PostfixRankedTree<object::Object, unsigned int> & arg0 )
+default: tree::PrefixRankedBarTree<unsigned int, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: tree::PrefixRankedTree<unsigned int, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+default: tree::RankedTree<unsigned int, unsigned int> ( const tree::RankedTree<object::Object, unsigned int> & arg0 )
+
+tree::properties::QuickSearchBadCharacterShiftTable
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+
+tree::properties::ReversedBadCharacterShiftTable
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+
+tree::properties::ReversedQuickSearchBadCharacterShiftTable
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::map<common::ranked_symbol<object::Object, unsigned int>, unsigned long, ext::less<void>, std::allocator<std::pair<common::ranked_symbol<object::Object, unsigned int> const, unsigned long> > > ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+
+tree::properties::SubtreeJumpTable
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+default: ext::vector<int, std::allocator<int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::exact::BoyerMooreHorspool
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+
+arbology::exact::DeadZoneUsingBadCharacterShiftAndBorderArray
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedTree<object::Object, unsigned int> & arg1 )
+
+arbology::exact::ExactNonlinearTreePatternAutomaton
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, ext::pair<unsigned int, unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const common::ranked_symbol<object::Object, unsigned int> & arg1, const ext::set<common::ranked_symbol<object::Object, unsigned int>, ext::less<void>, std::allocator<common::ranked_symbol<object::Object, unsigned int> > > & arg2, const common::ranked_symbol<object::Object, unsigned int> & arg3 )
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, ext::pair<unsigned int, unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const common::ranked_symbol<object::Object, unsigned int> & arg1, const ext::set<common::ranked_symbol<object::Object, unsigned int>, ext::less<void>, std::allocator<common::ranked_symbol<object::Object, unsigned int> > > & arg2 )
+
+arbology::exact::ExactPatternMatch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::RankedTree<object::Object, unsigned int> & arg0, const tree::RankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::RankedTree<object::Object, unsigned int> & arg0, const tree::RankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::UnrankedTree<object::Object> & arg0, const tree::UnrankedPattern<object::Object> & arg1 )
+
+arbology::exact::ExactPatternMatchingAutomaton
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+default: automaton::NFTA<object::Object, unsigned int, unsigned int> ( const tree::RankedPattern<object::Object, unsigned int> & arg0 )
+default: automaton::NFTA<object::Object, unsigned int, unsigned int> ( const tree::RankedTree<object::Object, unsigned int> & arg0 )
+default: automaton::NPDA<common::ranked_symbol<object::Object, unsigned int>, string::Epsilon<object::Object>, char, unsigned int> ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+default: automaton::VisiblyPushdownNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+
+arbology::exact::ExactSubtreeAutomaton
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::exact::ExactSubtreeMatch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::RankedTree<object::Object, unsigned int> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::UnrankedTree<object::Object> & arg0, const tree::UnrankedTree<object::Object> & arg1 )
+
+arbology::exact::ExactSubtreeMatchingAutomaton
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+default: automaton::NFTA<object::Object, unsigned int, unsigned int> ( const tree::RankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::exact::ExactTreePatternAutomaton
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const common::ranked_symbol<object::Object, unsigned int> & arg1, const common::ranked_symbol<object::Object, unsigned int> & arg2 )
+default: automaton::InputDrivenNPDA<common::ranked_symbol<object::Object, unsigned int>, char, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const common::ranked_symbol<object::Object, unsigned int> & arg1 )
+
+arbology::exact::KnuthMorrisPratt
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedTree<object::Object, unsigned int> & arg1 )
+
+arbology::exact::QuickSearch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+
+arbology::exact::ReversedBoyerMooreHorspool
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedTree<object::Object, unsigned int> & arg1 )
+
+arbology::exact::ReversedQuickSearch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const tree::PrefixRankedTree<object::Object, unsigned int> & arg1 )
+
+arbology::indexing::CompressedBitParallelIndexConstruction
+default: indexes::arbology::CompressedBitParallelTreeIndex<object::Object, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: indexes::arbology::CompressedBitParallelTreeIndex<object::Object, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::indexing::FullAndLinearIndexConstruction
+default: indexes::arbology::FullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: indexes::arbology::FullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::indexing::NonlinearCompressedBitParallelIndexConstruction
+default: indexes::arbology::NonlinearCompressedBitParallelTreeIndex<object::Object, unsigned int> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+
+arbology::indexing::NonlinearFullAndLinearIndexConstruction
+default: indexes::arbology::NonlinearFullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: indexes::arbology::NonlinearFullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::properties::ExactSubtreeRepeatsFromSubtreeAutomaton
+default: tree::PrefixRankedTree<unsigned int, unsigned int> ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+
+arbology::query::CompressedBitParallelismPatterns
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::CompressedBitParallelTreeIndex<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::CompressedBitParallelTreeIndex<object::Object, unsigned int> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+
+arbology::query::FullAndLinearIndexPatterns
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::FullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0, const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::FullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0, const tree::PrefixRankedPattern<object::Object, unsigned int> & arg1 )
+
+arbology::query::NonlinearCompressedBitParallelismPatterns
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::NonlinearCompressedBitParallelTreeIndex<object::Object, unsigned int> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+
+arbology::query::NonlinearFullAndLinearIndexPatterns
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::NonlinearFullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0, const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::arbology::NonlinearFullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0, const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg1 )
+
+arbology::transform::BeginToEndIndex
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0, const ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0, const ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > & arg1 )
+
+\section{Automata algorithms}
+automaton::PDAToRHPDA
+default: automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+
+automaton::RHPDAToPDA
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+
+automaton::convert::ToGrammar
+default: grammar::RightRG<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::convert::ToGrammarLeftRG
+default: grammar::LeftRG<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::convert::ToGrammarRightRG
+default: grammar::RightRG<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::convert::ToPostfixPushdownAutomaton
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+
+automaton::convert::ToRegExp
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::convert::ToRegExpAlgebraic
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::convert::ToRegExpStateElimination
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::determinize::Determinize
+default: automaton::DFA<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::InputDrivenDPDA<object::Object, object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: automaton::OneTapeDTM<object::Object, object::Object> ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, ext::pair<ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > >, ext::variant<string::Epsilon<object::Object>, object::Object> >, ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::VisiblyPushdownDPDA<object::Object, ext::pair<ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > >, object::Object>, ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+
+automaton::generate::RandomAutomatonFactory
+default: automaton::NFA<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, unsigned int> ( unsigned long statesCount, unsigned long alphabetSize, bool randomizedAlphabet, double density )
+
+automaton::generate::RandomizeAutomaton
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::AllEpsilonClosure
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::EpsilonClosure
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0, const object::Object & arg1 )
+
+automaton::properties::ReachableStates
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::UsefulStates
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::efficient::AllEpsilonClosure
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::map<object::Object, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::efficient::ReachableStates
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::properties::efficient::UsefulStates
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::run::Accept
+default: bool ( const automaton::DFA<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1 )
+default: bool ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::NFA<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1 )
+default: bool ( const automaton::NPDTA<object::Object, object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: bool ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+automaton::run::Occurrences
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::DFA<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+automaton::run::Result
+default: object::Object ( const automaton::DFA<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: object::Object ( const automaton::DFA<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1, const object::Object & arg2 )
+default: object::Object ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1 )
+default: object::Object ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const tree::RankedTree<object::Object, unsigned int> & arg1, const object::Object & arg2 )
+default: object::Object ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: object::Object ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1, const object::Object & arg2 )
+default: object::Object ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: object::Object ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1, const object::Object & arg2 )
+default: object::Object ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: object::Object ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1, const object::Object & arg2 )
+default: object::Object ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: object::Object ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1, const object::Object & arg2 )
+
+automaton::run::Translate
+default: ext::set<string::LinearString<object::Object>, ext::less<void>, std::allocator<string::LinearString<object::Object> > > ( const automaton::NPDTA<object::Object, object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+automaton::simplify::EpsilonRemoverIncoming
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::EpsilonRemoverOutgoing
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::Minimize
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+
+automaton::simplify::MinimizeBrzozowski
+default: automaton::DFA<object::Object, ext::set<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, ext::set<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, ext::less<void>, std::allocator<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::MinimizeVerbose
+default: ext::vector<ext::map<std::pair<object::Object, object::Object>, ext::map<object::Object, object::Object, ext::less<void>, std::allocator<std::pair<object::Object const, object::Object> > >, ext::less<void>, std::allocator<std::pair<std::pair<object::Object, object::Object> const, ext::map<object::Object, object::Object, ext::less<void>, std::allocator<std::pair<object::Object const, object::Object> > > > > >, std::allocator<ext::map<std::pair<object::Object, object::Object>, ext::map<object::Object, object::Object, ext::less<void>, std::allocator<std::pair<object::Object const, object::Object> > >, ext::less<void>, std::allocator<std::pair<std::pair<object::Object, object::Object> const, ext::map<object::Object, object::Object, ext::less<void>, std::allocator<std::pair<object::Object const, object::Object> > > > > > > > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::Normalize
+default: automaton::DFA<object::Object, unsigned int> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, unsigned int, unsigned int> ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+
+automaton::simplify::Rename
+default: automaton::DFA<object::Object, unsigned int> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DPDA<object::Object, string::Epsilon<object::Object>, unsigned int, unsigned int> ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::InputDrivenDPDA<object::Object, unsigned int, unsigned int> ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, unsigned int, unsigned int> ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, unsigned int, unsigned int> ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: automaton::VisiblyPushdownDPDA<object::Object, unsigned int, unsigned int> ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+
+automaton::simplify::SingleInitialState
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::MultiInitialStateEpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::SingleInitialStateEpsilonTransition
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::MultiInitialStateEpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::Total
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::Trim
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::UnreachableStatesRemover
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::UselessStatesRemover
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::DFTA<object::Object, unsigned int, object::Object> ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::efficient::EpsilonRemoverIncoming
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::efficient::EpsilonRemoverOutgoing
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::efficient::Trim
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::efficient::UnreachableStatesRemover
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::simplify::efficient::UselessStatesRemover
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::ExtendedNFA<object::Object, object::Object> ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::transform::AutomataConcatenation
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+
+automaton::transform::AutomataConcatenationEpsilonTransition
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg1 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+
+automaton::transform::AutomataIntersectionCartesianProduct
+default: automaton::DFA<object::Object, ext::pair<object::Object, object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: automaton::NFA<object::Object, ext::pair<object::Object, object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+
+automaton::transform::AutomataLeftQuotientCartesianProduct
+default: automaton::MultiInitialStateNFA<object::Object, ext::pair<object::Object, object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1, bool arg2 )
+
+automaton::transform::AutomataUnionCartesianProduct
+default: automaton::DFA<object::Object, ext::pair<object::Object, object::Object> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: automaton::NFA<object::Object, ext::pair<object::Object, object::Object> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+
+automaton::transform::AutomataUnionEpsilonTransition
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg1 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<object::Object, unsigned int> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+
+automaton::transform::AutomatonComplement
+default: automaton::DFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+
+automaton::transform::AutomatonIteration
+default: automaton::NFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::transform::AutomatonIterationEpsilonTransition
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::transform::Compaction
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::CompactNFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+automaton::transform::Reverse
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: automaton::MultiInitialStateNFA<object::Object, object::Object> ( const automaton::NFA<object::Object, object::Object> & arg0 )
+
+\section{Builtin algorithms}
+cli::builtin::Dot
+default: void ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & dot_data )
+default: void ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & dot_data, const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & output_type, const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & file_name )
+
+cli::builtin::ReadFile
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg0 )
+
+cli::builtin::WriteFile
+default: void ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg0, const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg1 )
+
+dataAccess::PairSetFirst
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > & arg0 )
+
+dataAccess::PairSetSecond
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > & arg0 )
+
+stats::SizeStatr
+Exception caught: Entry stats::SizeStatr not available
+
+dataAccess::PairSetFirst
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > & arg0 )
+
+dataAccess::PairSetSecond
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const ext::set<ext::pair<object::Object, object::Object>, ext::less<void>, std::allocator<ext::pair<object::Object, object::Object> > > & arg0 )
+
+\section{Compare algorithms}
+compare::AutomatonCompare
+default: bool ( const automaton::CompactNFA<object::Object, object::Object> & arg0, const automaton::CompactNFA<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const automaton::DFTA<object::Object, unsigned int, object::Object> & arg1 )
+default: bool ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg1 )
+default: bool ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0, const automaton::ExtendedNFA<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0, const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0, const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0, const automaton::NFTA<object::Object, unsigned int, object::Object> & arg1 )
+default: bool ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0, const automaton::OneTapeDTM<object::Object, object::Object> & arg1 )
+default: bool ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg1 )
+default: bool ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0, const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg1 )
+
+compare::AutomatonDiff
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0, const automaton::CompactNFA<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0, const automaton::DFTA<object::Object, unsigned int, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0, const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0, const automaton::ExtendedNFA<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0, const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0, const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0, const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFA<object::Object, object::Object> & arg0, const automaton::NFA<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0, const automaton::NFTA<object::Object, unsigned int, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0, const automaton::OneTapeDTM<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0, const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0, const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0, const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg1 )
+
+compare::GrammarCompare
+default: bool ( const grammar::CFG<object::Object, object::Object> & arg0, const grammar::CFG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::CNF<object::Object, object::Object> & arg0, const grammar::CNF<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::CSG<object::Object> & arg0, const grammar::CSG<object::Object> & arg1 )
+default: bool ( const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg0, const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg1 )
+default: bool ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0, const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::GNF<object::Object, object::Object> & arg0, const grammar::GNF<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::LG<object::Object, object::Object> & arg0, const grammar::LG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::LeftLG<object::Object, object::Object> & arg0, const grammar::LeftLG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::LeftRG<object::Object, object::Object> & arg0, const grammar::LeftRG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::NonContractingGrammar<object::Object> & arg0, const grammar::NonContractingGrammar<object::Object> & arg1 )
+default: bool ( const grammar::RightLG<object::Object, object::Object> & arg0, const grammar::RightLG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::RightRG<object::Object, object::Object> & arg0, const grammar::RightRG<object::Object, object::Object> & arg1 )
+default: bool ( const grammar::UnrestrictedGrammar<object::Object> & arg0, const grammar::UnrestrictedGrammar<object::Object> & arg1 )
+
+compare::GrammarDiff
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CFG<object::Object, object::Object> & arg0, const grammar::CFG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CNF<object::Object, object::Object> & arg0, const grammar::CNF<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CSG<object::Object> & arg0, const grammar::CSG<object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg0, const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0, const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::GNF<object::Object, object::Object> & arg0, const grammar::GNF<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LG<object::Object, object::Object> & arg0, const grammar::LG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LeftLG<object::Object, object::Object> & arg0, const grammar::LeftLG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LeftRG<object::Object, object::Object> & arg0, const grammar::LeftRG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::NonContractingGrammar<object::Object> & arg0, const grammar::NonContractingGrammar<object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::RightLG<object::Object, object::Object> & arg0, const grammar::RightLG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::RightRG<object::Object, object::Object> & arg0, const grammar::RightRG<object::Object, object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::UnrestrictedGrammar<object::Object> & arg0, const grammar::UnrestrictedGrammar<object::Object> & arg1 )
+
+compare::StringCompare
+default: bool ( const string::CyclicString<object::Object> & arg0, const string::CyclicString<object::Object> & arg1 )
+default: bool ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+compare::StringDiff
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::CyclicString<object::Object> & arg0, const string::CyclicString<object::Object> & arg1 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+\section{Convert algorithms}
+convert::DotConverter
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0 )
+
+convert::GasTexConverter
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0 )
+
+convert::LatexTable
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+
+convert::TikZConverter
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0 )
+
+\section{Graph algorithms}
+generate::FixedUndirectedGraph
+default: graph::UndirectedGraph<int, ext::pair<int, int> > ( )
+
+generate::FixedWeightedSquareGrid8
+default: grid::WeightedSquareGrid8<int, edge::WeightedEdge<ext::pair<int, int>, double> > ( )
+
+generate::FixedWeightedUndirectedGraph
+default: graph::WeightedUndirectedGraph<int, edge::WeightedEdge<int, double> > ( )
+
+heuristic::ChebyshevDistance
+default: std::function<long (ext::pair<long, long> const&, ext::pair<long, long> const&)> ( )
+
+heuristic::DiagonalDistance
+default: std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> ( )
+
+heuristic::EuclideanDistance
+default: std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> ( )
+
+heuristic::EuclideanDistanceNoSQRT
+default: std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> ( )
+
+heuristic::ManhattenDistance
+default: std::function<long (ext::pair<long, long> const&, ext::pair<long, long> const&)> ( )
+
+maximum_flow::FordFulkerson
+default: ext::unordered_map<node::Node, ext::unordered_map<node::Node, int, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, int> > >, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, ext::unordered_map<node::Node, int, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, int> > > > > > ( const graph::DirectedGraph<node::Node, edge::CapacityEdge<node::Node, int> > & arg0, const node::Node & arg1, const node::Node & arg2 )
+default: ext::unordered_map<node::Node, ext::unordered_map<node::Node, int, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, int> > >, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, ext::unordered_map<node::Node, int, std::hash<node::Node>, std::equal_to<node::Node>, std::allocator<std::pair<node::Node const, int> > > > > > ( const graph::UndirectedGraph<node::Node, edge::CapacityEdge<node::Node, int> > & arg0, const node::Node & arg1, const node::Node & arg2 )
+
+minimum_cut::FordFulkerson
+default: std::unordered_set<std::pair<node::Node, node::Node>, std::hash<std::pair<node::Node, node::Node> >, std::equal_to<std::pair<node::Node, node::Node> >, std::allocator<std::pair<node::Node, node::Node> > > ( const graph::DirectedGraph<node::Node, edge::CapacityEdge<node::Node, int> > & arg0, const node::Node & arg1, const node::Node & arg2 )
+default: std::unordered_set<std::pair<node::Node, node::Node>, std::hash<std::pair<node::Node, node::Node> >, std::equal_to<std::pair<node::Node, node::Node> >, std::allocator<std::pair<node::Node, node::Node> > > ( const graph::UndirectedGraph<node::Node, edge::CapacityEdge<node::Node, int> > & arg0, const node::Node & arg1, const node::Node & arg2 )
+
+spanning_tree::JarnikPrim
+default: graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1 )
+
+traverse::BFS
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+traverse::BFSBidirectional
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+traverse::DFS
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+traverse::IDDFS
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+traverse::IDDFSBidirectional
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid4<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::SquareGrid8<long, ext::pair<ext::pair<long, long>, ext::pair<long, long> > > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::DirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::MixedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::UndirectedMultiGraph<object::Object, ext::pair<object::Object, object::Object> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::vector<object::Object, std::allocator<object::Object> > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+shortest_path::AStar
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+
+shortest_path::AStarBidirectional
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+
+shortest_path::BellmanFord
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+shortest_path::Dijkstra
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+shortest_path::DijkstraBidirectional
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+shortest_path::FloydWarshall
+default: ext::map<ext::pair<long, long>, ext::map<ext::pair<long, long>, double, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, double> > >, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, ext::map<ext::pair<long, long>, double, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, double> > > > > > ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0 )
+default: ext::map<ext::pair<long, long>, ext::map<ext::pair<long, long>, double, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, double> > >, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, ext::map<ext::pair<long, long>, double, ext::less<void>, std::allocator<std::pair<ext::pair<long, long> const, double> > > > > > ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+default: ext::map<object::Object, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > >, ext::less<void>, std::allocator<std::pair<object::Object const, ext::map<object::Object, double, ext::less<void>, std::allocator<std::pair<object::Object const, double> > > > > > ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0 )
+
+shortest_path::GreedyBestFS
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+
+shortest_path::IDAStar
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+
+shortest_path::JPS
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+
+shortest_path::MM
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2, std::function<double (ext::pair<long, long> const&, ext::pair<long, long> const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2, std::function<double (object::Object const&, object::Object const&)> arg3 )
+
+shortest_path::SPFA
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid4<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<ext::pair<long, long>, std::allocator<ext::pair<long, long> > >, double> ( const grid::WeightedSquareGrid8<long, edge::WeightedEdge<ext::pair<long, long>, double> > & arg0, const ext::pair<long, long> & arg1, const ext::pair<long, long> & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedDirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedMixedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+default: ext::pair<ext::vector<object::Object, std::allocator<object::Object> >, double> ( const graph::WeightedUndirectedMultiGraph<object::Object, edge::WeightedEdge<object::Object, double> > & arg0, const object::Object & arg1, const object::Object & arg2 )
+
+\section{Grammar algorithms}
+grammar::convert::ToAutomaton
+default: automaton::NFA<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: automaton::NFA<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, ext::variant<object::Object, object::Object>, unsigned int> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, ext::variant<object::Object, object::Object>, unsigned int> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+
+grammar::convert::ToAutomatonBottomUp
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, ext::variant<object::Object, object::Object>, unsigned int> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, ext::variant<object::Object, object::Object>, unsigned int> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+
+grammar::convert::ToGrammarLeftRG
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::convert::ToGrammarRightRG
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+
+grammar::convert::ToRegExp
+default: regexp::UnboundedRegExp<object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::convert::ToRegExpAlgebraic
+default: regexp::UnboundedRegExp<object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::generate::CockeYoungerKasami
+default: bool ( const grammar::CNF<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+grammar::generate::CockeYoungerKasamiVerbose
+default: ext::vector<ext::vector<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, std::allocator<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > >, std::allocator<ext::vector<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> >, std::allocator<ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > > > > > ( const grammar::CNF<object::Object, object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+grammar::generate::GenerateUpToLength
+default: ext::trie<object::Object, bool> ( const grammar::CNF<object::Object, object::Object> & arg0, unsigned int arg1 )
+default: ext::trie<object::Object, bool> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0, unsigned int arg1 )
+default: ext::trie<object::Object, bool> ( const grammar::GNF<object::Object, object::Object> & arg0, unsigned int arg1 )
+default: ext::trie<object::Object, bool> ( const grammar::LeftRG<object::Object, object::Object> & arg0, unsigned int arg1 )
+default: ext::trie<object::Object, bool> ( const grammar::RightRG<object::Object, object::Object> & arg0, unsigned int arg1 )
+
+grammar::generate::RandomGrammarFactory
+default: grammar::CFG<object::Object, object::Object> ( ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > nonterminals, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > terminals, double density )
+default: grammar::CFG<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > ( unsigned long nonterminalsCount, unsigned long terminalsCount, bool randomizedAlphabet, double density )
+
+grammar::generate::RandomizeGrammar
+default: grammar::CFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::LeftLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::properties::IsLanguageEmpty
+default: bool ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::properties::IsLanguageGeneratingEpsilon
+default: bool ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: bool ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::properties::NonterminalUnitRuleCycle
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CFG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CNF<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::GNF<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftLG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftRG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightLG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightRG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+
+grammar::properties::NullableNonterminals
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::properties::ProductiveNonterminals
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::properties::RecursiveNonterminal
+default: bool ( const grammar::CFG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::CNF<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::GNF<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::LG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::LeftLG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::LeftRG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::RightLG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+default: bool ( const grammar::RightRG<object::Object, object::Object> & arg0, const object::Object & arg1 )
+
+grammar::properties::UnreachableSymbols
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: ext::set<ext::variant<object::Object, object::Object>, ext::less<void>, std::allocator<ext::variant<object::Object, object::Object> > > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::EpsilonRemover
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::LeftRecursionRemover
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::Rename
+default: grammar::LeftRG<object::Object, unsigned int> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, unsigned int> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::SimpleRulesRemover
+default: grammar::CFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::LG<object::Object, object::Object> ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::LeftLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::ToCNF
+default: grammar::CNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, ext::vector<ext::variant<object::Object, object::Object>, std::allocator<ext::variant<object::Object, object::Object> > > > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+
+grammar::simplify::ToGNF
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, ext::variant<object::Object, object::Object> > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::Trim
+default: grammar::CFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::LG<object::Object, object::Object> ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::LeftLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::UnproductiveSymbolsRemover
+default: grammar::CFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::LG<object::Object, object::Object> ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::LeftLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+grammar::simplify::UnreachableSymbolsRemover
+default: grammar::CFG<object::Object, object::Object> ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: grammar::CNF<object::Object, object::Object> ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: grammar::EpsilonFreeCFG<object::Object, object::Object> ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: grammar::GNF<object::Object, object::Object> ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: grammar::LG<object::Object, object::Object> ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: grammar::LeftLG<object::Object, object::Object> ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: grammar::LeftRG<object::Object, object::Object> ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: grammar::RightLG<object::Object, object::Object> ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: grammar::RightRG<object::Object, object::Object> ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+
+\section{Regular expression algorithms}
+regexp::RegExpAlternate
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const regexp::FormalRegExp<object::Object> & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const regexp::UnboundedRegExp<object::Object> & arg1 )
+
+regexp::RegExpConcatenate
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const regexp::FormalRegExp<object::Object> & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const regexp::UnboundedRegExp<object::Object> & arg1 )
+
+regexp::RegExpDerivation
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const object::Object & arg1 )
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const object::Object & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+regexp::RegExpIntegral
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const object::Object & arg1 )
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const object::Object & arg1 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+regexp::RegExpIterate
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToAutomaton
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToAutomatonDerivation
+default: automaton::DFA<object::Object, unsigned int> ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: automaton::DFA<object::Object, unsigned int> ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToAutomatonGlushkov
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: automaton::NFA<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToAutomatonThompson
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToGrammar
+default: grammar::RightRG<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: grammar::RightRG<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToGrammarRightRGDerivation
+default: grammar::RightRG<object::Object, unsigned int> ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: grammar::RightRG<object::Object, unsigned int> ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::convert::ToGrammarRightRGGlushkov
+default: grammar::RightRG<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: grammar::RightRG<object::Object, ext::pair<object::Object, unsigned int> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::generate::RandomRegExpFactory
+default: regexp::UnboundedRegExp<object::Object> ( unsigned long leafNodes, unsigned long height, unsigned long alphabet, bool arg3 )
+default: regexp::UnboundedRegExp<object::Object> ( unsigned long leafNodes, unsigned long height, unsigned long alphabetSize, bool randomizedAlphabet )
+
+regexp::properties::RegExpEmpty
+default: bool ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: bool ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::properties::RegExpEpsilon
+default: bool ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: bool ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+regexp::simplify::RegExpOptimize
+default: regexp::FormalRegExp<object::Object> ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: regexp::UnboundedRegExp<object::Object> ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+
+\section{Regular tree expression algorithms}
+rte::convert::ToPostfixPushdownAutomaton
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const rte::FormalRTE<object::Object, unsigned int> & arg0 )
+
+rte::convert::ToPostfixPushdownAutomatonGlushkov
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, ext::variant<alphabet::BottomOfTheStackSymbol, ext::set<common::ranked_symbol<object::Object, unsigned int>, ext::less<void>, std::allocator<common::ranked_symbol<object::Object, unsigned int> > > >, object::Object> ( const rte::FormalRTE<object::Object, unsigned int> & arg0 )
+
+rte::convert::ToPostfixPushdownAutomatonGlushkovNaive
+default: automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> ( const rte::FormalRTE<object::Object, unsigned int> & arg0 )
+
+\section{Datastructure parsing algorithms}
+raw::Compose
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::LinearString<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::UnrankedTree<object::Object> & arg0 )
+
+raw::Parse @string::LinearString<object::Object>
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+raw::Parse @tree::UnrankedTree<object::Object>
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+xml::Compose
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const DataType & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::BarSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::BlankSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::BottomOfTheStackSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::EndSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::InitialSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::NonlinearVariableSymbol<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::StartSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::VariablesBarSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const alphabet::WildcardSymbol & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::CompactNFA<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::DFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::DPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::ExtendedNFA<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::InputDrivenDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::InputDrivenNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::MultiInitialStateEpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::NFTA<object::Object, unsigned int, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::NPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::NPDTA<object::Object, object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::OneTapeDTM<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::RealTimeHeightDeterministicDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::RealTimeHeightDeterministicNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::SinglePopDPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::SinglePopNPDA<object::Object, string::Epsilon<object::Object>, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::VisiblyPushdownDPDA<object::Object, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const automaton::VisiblyPushdownNPDA<object::Object, object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const bool & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const char & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const common::ranked_symbol<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const double & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const exception::CommonException & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::deque<object::Object, std::allocator<object::Object> > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::list<object::Object, std::allocator<object::Object> > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::map<object::Object, object::Object, ext::less<void>, std::allocator<std::pair<object::Object const, object::Object> > > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::pair<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::tree<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::trie<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const ext::vector<object::Object, std::allocator<object::Object> > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::CSG<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::NonContractingGrammar<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const grammar::UnrestrictedGrammar<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::arbology::CompressedBitParallelTreeIndex<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::arbology::FullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::arbology::NonlinearCompressedBitParallelTreeIndex<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::arbology::NonlinearFullAndLinearIndex<object::Object, unsigned int, indexes::stringology::PositionHeap> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::BitParallelIndex<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::BitSetIndex<object::Object, 64ul> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::CompressedBitParallelIndex<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::FactorOracleAutomaton<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::PositionHeap<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::SuffixArray<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::SuffixAutomaton<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const indexes::stringology::SuffixTrie<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const int & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const label::FailStateLabel & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const label::FinalStateLabel & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const label::InitialStateLabel & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const object::Void & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const rte::FormalRTE<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const string::CyclicString<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const string::Epsilon<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const string::LinearString<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const string::WildcardLinearString<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PostfixRankedTree<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixBarTree<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedBarNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedBarPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedBarTree<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::PrefixRankedTree<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::RankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::RankedPattern<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::RankedTree<object::Object, unsigned int> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::UnrankedNonlinearPattern<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::UnrankedPattern<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const tree::UnrankedTree<object::Object> & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const unsigned int & arg0 )
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const unsigned long & arg0 )
+
+xml::Parse
+default: abstraction::UnspecifiedType ( ext::deque<sax::Token, std::allocator<sax::Token> > && arg0 )
+
+sax::SaxComposeInterface
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const ext::deque<sax::Token, std::allocator<sax::Token> > & arg0 )
+
+sax::SaxParseInterface
+default: ext::deque<sax::Token, std::allocator<sax::Token> > ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg0 )
+
+string::Compose
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::BarSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::BlankSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::BottomOfTheStackSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::EndSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::InitialSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::NonlinearVariableSymbol<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::StartSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::VariablesBarSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const alphabet::WildcardSymbol & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::DFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::MultiInitialStateNFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const automaton::NFA<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const bool & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const char & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const common::ranked_symbol<object::Object, unsigned int> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const ext::pair<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const ext::vector<object::Object, std::allocator<object::Object> > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CFG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CNF<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::CSG<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::ContextPreservingUnrestrictedGrammar<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::EpsilonFreeCFG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::GNF<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LeftLG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::LeftRG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::NonContractingGrammar<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::RightLG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::RightRG<object::Object, object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const grammar::UnrestrictedGrammar<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const int & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const label::FailStateLabel & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const label::FinalStateLabel & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const label::InitialStateLabel & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const object::Void & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const regexp::FormalRegExp<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const regexp::UnboundedRegExp<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::CyclicString<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::Epsilon<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const string::LinearString<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::RankedNonlinearPattern<object::Object, unsigned int> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::RankedPattern<object::Object, unsigned int> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::RankedTree<object::Object, unsigned int> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::UnrankedNonlinearPattern<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::UnrankedPattern<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const tree::UnrankedTree<object::Object> & arg0 )
+default: std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > ( const unsigned int & arg0 )
+
+string::Parse @automaton::Automaton
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+string::Parse @grammar::Grammar
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+string::Parse @object::Object
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+string::Parse @regexp::RegExp
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+string::Parse @string::String
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+string::Parse @tree::Tree
+default: abstraction::UnspecifiedType ( std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > && arg0 )
+
+\section{String and stringology algorithms}
+string::generate::RandomStringFactory
+default: string::LinearString<object::Object> ( unsigned long size, ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > alphabet )
+default: string::LinearString<object::Object> ( unsigned long size, unsigned long alphabetSize, bool randomizedAlphabet )
+default: string::LinearString<object::Object> ( unsigned long size, unsigned long alphabetSize, bool randomizedAlphabet, bool integerSymbols )
+
+string::generate::RandomSubstringFactory
+default: string::LinearString<object::Object> ( unsigned long arg0, const string::LinearString<object::Object> & arg1 )
+
+string::naive::ExactCompare
+default: int ( const string::CyclicString<object::Object> & arg0, const string::CyclicString<object::Object> & arg1 )
+default: int ( const string::Epsilon<object::Object> & arg0, const string::Epsilon<object::Object> & arg1 )
+default: int ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+string::naive::ExactEqual
+default: bool ( const string::CyclicString<object::Object> & arg0, const string::CyclicString<object::Object> & arg1 )
+default: bool ( const string::Epsilon<object::Object> & arg0, const string::Epsilon<object::Object> & arg1 )
+default: bool ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+string::properties::BadCharacterShiftTable
+default: ext::map<object::Object, unsigned long, ext::less<void>, std::allocator<std::pair<object::Object const, unsigned long> > > ( const string::LinearString<object::Object> & arg0 )
+
+string::properties::BorderArray
+default: ext::vector<unsigned int, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0 )
+
+string::properties::GoodSuffixShiftTable
+default: ext::vector<unsigned long, std::allocator<unsigned long> > ( const string::LinearString<object::Object> & arg0 )
+
+string::properties::QuickSearchBadCharacterShiftTable
+default: ext::map<object::Object, unsigned long, ext::less<void>, std::allocator<std::pair<object::Object const, unsigned long> > > ( const string::LinearString<object::Object> & arg0 )
+
+string::properties::ReversedBadCharacterShiftTable
+default: ext::map<object::Object, unsigned long, ext::less<void>, std::allocator<std::pair<object::Object const, unsigned long> > > ( const string::LinearString<object::Object> & arg0 )
+
+string::simplify::NormalizeAlphabet
+default: string::LinearString<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+string::simplify::NormalizeRotation
+default: string::CyclicString<object::Object> ( const string::CyclicString<object::Object> & arg0 )
+
+stringology::compression::AdaptiveIntegerArithmeticCompression
+default: ext::vector<bool, std::allocator<bool> > ( const string::LinearString<object::Object> & arg0 )
+
+stringology::compression::AdaptiveIntegerArithmeticDecompression
+default: string::LinearString<object::Object> ( const ext::vector<bool, std::allocator<bool> > & arg0, const ext::set<object::Object, ext::less<void>, std::allocator<object::Object> > & arg1 )
+
+stringology::compression::LZ77Compression
+default: std::vector<std::tuple<unsigned int, unsigned int, object::Object>, std::allocator<std::tuple<unsigned int, unsigned int, object::Object> > > ( const string::LinearString<object::Object> & arg0, unsigned int arg1, unsigned int arg2 )
+
+stringology::compression::LZ77Decompression
+default: string::LinearString<object::Object> ( const std::vector<std::tuple<unsigned int, unsigned int, object::Object>, std::allocator<std::tuple<unsigned int, unsigned int, object::Object> > > & arg0 )
+
+stringology::exact::BoyerMoore
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::exact::BoyerMooreHorspool
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::exact::DeadZoneUsingBadCharacterShift
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::exact::ExactFactorMatch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::exact::QuickSearch
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::exact::ReversedBoyerMooreHorspool
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::indexing::BitParallelIndexConstruction
+default: indexes::stringology::BitParallelIndex<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::CompressedBitParallelIndexConstruction
+default: indexes::stringology::CompressedBitParallelIndex<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::ExactFactorOracleAutomaton
+default: indexes::stringology::FactorOracleAutomaton<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::ExactMultiNondeterministicSubsequenceAutomaton
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, ext::pair<unsigned int, unsigned int> > ( const ext::set<string::LinearString<object::Object>, ext::less<void>, std::allocator<string::LinearString<object::Object> > > & arg0 )
+
+stringology::indexing::ExactNondeterministicSubsequenceAutomaton
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::ExactSubsequenceAutomaton
+default: automaton::DFA<object::Object, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::ExactSuffixAutomaton
+default: indexes::stringology::SuffixAutomaton<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::NondeterministicExactFactorAutomaton
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::NondeterministicExactSuffixAutomaton
+default: automaton::EpsilonNFA<object::Object, string::Epsilon<object::Object>, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::PositionHeapNaive
+default: indexes::stringology::PositionHeap<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::SuffixArrayNaive
+default: indexes::stringology::SuffixArray<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::indexing::SuffixTrieNaive
+default: indexes::stringology::SuffixTrie<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::BNDMMatcherConstruction
+default: indexes::stringology::BitSetIndex<object::Object, 64ul> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::DAWGMatcherConstruction
+default: indexes::stringology::SuffixAutomaton<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::ExactMatchingAutomaton
+default: automaton::NFA<object::Object, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::GeneralizedLevenshteinMatchingAutomaton
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::GeneralizedLevenshteinSequenceMatchingAutomaton
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::HammingMatchingAutomaton
+default: automaton::NFA<object::Object, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::NFA<object::Object, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::HammingSequenceMatchingAutomaton
+default: automaton::NFA<object::Object, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::NFA<object::Object, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::LevenshteinMatchingAutomaton
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::LevenshteinSequenceMatchingAutomaton
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::LinearString<object::Object> & arg0, unsigned int arg1 )
+default: automaton::EpsilonNFA<object::Object, void, ext::pair<unsigned int, unsigned int> > ( const string::WildcardLinearString<object::Object> & arg0, unsigned int arg1 )
+
+stringology::matching::NaiveDAWGMatcherConstruction
+default: automaton::DFA<object::Object, ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > > ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::OracleMatcherConstruction
+default: automaton::DFA<object::Object, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::SequenceMatchingAutomaton
+default: automaton::NFA<object::Object, unsigned int> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::matching::WideBNDMMatcherConstruction
+default: indexes::stringology::BitParallelIndex<object::Object> ( const string::LinearString<object::Object> & arg0 )
+
+stringology::properties::BackboneLength
+default: unsigned int ( const automaton::DFA<object::Object, object::Object> & arg0 )
+
+stringology::properties::LyndonFactoring
+default: ext::vector<unsigned int, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0 )
+
+stringology::query::BNDMOccurrences
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::BitSetIndex<object::Object, 64ul> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::BackwardDAWGMatching
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const indexes::stringology::SuffixAutomaton<object::Object> & arg1 )
+
+stringology::query::BackwardOracleMatching
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const automaton::DFA<object::Object, object::Object> & arg1 )
+
+stringology::query::BitParallelismFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::BitParallelIndex<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::CompressedBitParallelismFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::CompressedBitParallelIndex<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::PositionHeapFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::PositionHeap<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::SuffixArrayFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::SuffixArray<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::SuffixAutomatonFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::SuffixAutomaton<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::SuffixTrieFactors
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::SuffixTrie<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::query::WideBNDMOccurrences
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const indexes::stringology::BitParallelIndex<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::simulations::ExactBitParalelism
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1 )
+
+stringology::simulations::GeneralizedLevenshteinBitParalelism
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
+
+stringology::simulations::GeneralizedLevenshteinDynamicProgramming
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
+
+stringology::simulations::HammingBitParalelism
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
+
+stringology::simulations::HammingDynamicProgramming
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
+
+stringology::simulations::LevenshteinBitParalelism
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
+
+stringology::simulations::LevenshteinDynamicProgramming
+default: ext::set<unsigned int, ext::less<void>, std::allocator<unsigned int> > ( const string::LinearString<object::Object> & arg0, const string::LinearString<object::Object> & arg1, unsigned int arg2 )
 
 \chapter{Summary on registered commands}
 
-- 
GitLab