|
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) |
|