Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
arbology::exact::ExactPatternMatchingAutomaton Class Reference

#include <ExactPatternMatchingAutomaton.h>

Static Public Member Functions

template<class SymbolType >
static automaton::NPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedPattern< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedTree< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::VisiblyPushdownNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedBarPattern< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedBarTree< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::NFTA< SymbolType, unsigned > construct (const tree::RankedTree< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::NFTA< SymbolType, unsigned > construct (const tree::RankedPattern< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::UnorderedNFTA< SymbolType, unsigned > construct (const tree::UnorderedRankedTree< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::UnorderedNFTA< SymbolType, unsigned > construct (const tree::UnorderedRankedPattern< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::NondeterministicZAutomaton< SymbolType, unsigned > construct (const tree::UnrankedTree< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::NondeterministicZAutomaton< SymbolType, unsigned > construct (const tree::UnrankedPattern< SymbolType > &pattern)
 
template<class SymbolType >
static automaton::NondeterministicZAutomaton< SymbolType, unsigned > construct (const tree::UnrankedExtendedPattern< SymbolType > &pattern)
 

Member Function Documentation

◆ construct() [1/11]

template<class SymbolType >
automaton::VisiblyPushdownNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::PrefixRankedBarPattern< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [2/11]

template<class SymbolType >
automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::PrefixRankedBarTree< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [3/11]

template<class SymbolType >
automaton::NPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::PrefixRankedPattern< SymbolType > &  pattern)
static

Performs conversion.

Returns
left regular grammar equivalent to source automaton.
Here is the call graph for this function:
Here is the caller graph for this function:

◆ construct() [4/11]

template<class SymbolType >
automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::PrefixRankedTree< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [5/11]

template<class SymbolType >
automaton::NFTA< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::RankedPattern< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [6/11]

template<class SymbolType >
automaton::NFTA< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::RankedTree< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [7/11]

template<class SymbolType >
automaton::UnorderedNFTA< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::UnorderedRankedPattern< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [8/11]

template<class SymbolType >
automaton::UnorderedNFTA< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::UnorderedRankedTree< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [9/11]

template<class SymbolType >
automaton::NondeterministicZAutomaton< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::UnrankedExtendedPattern< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [10/11]

template<class SymbolType >
automaton::NondeterministicZAutomaton< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::UnrankedPattern< SymbolType > &  pattern)
static
Here is the call graph for this function:

◆ construct() [11/11]

template<class SymbolType >
automaton::NondeterministicZAutomaton< SymbolType, unsigned > arbology::exact::ExactPatternMatchingAutomaton::construct ( const tree::UnrankedTree< SymbolType > &  pattern)
static
Here is the call graph for this function:

The documentation for this class was generated from the following file: