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

#include <ExactTreePatternAutomaton.h>

Static Public Member Functions

template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedBarTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard, const common::ranked_symbol< SymbolType > &variablesBar)
 
template<class SymbolType >
static automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > construct (const tree::PrefixRankedTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &subtreeWildcard)
 

Member Function Documentation

◆ construct() [1/2]

template<class SymbolType >
automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactTreePatternAutomaton::construct ( const tree::PrefixRankedBarTree< SymbolType > &  tree,
const common::ranked_symbol< SymbolType > &  subtreeWildcard,
const common::ranked_symbol< SymbolType > &  variablesBar 
)
static

Construct a tree pattern automaton.

Returns
input driven automaton implementing an index for tree patterns.

◆ construct() [2/2]

template<class SymbolType >
automaton::InputDrivenNPDA< common::ranked_symbol< SymbolType >, char, unsigned > arbology::exact::ExactTreePatternAutomaton::construct ( const tree::PrefixRankedTree< SymbolType > &  tree,
const common::ranked_symbol< SymbolType > &  subtreeWildcard 
)
static

Construct a tree pattern automaton.

Returns
input driven automaton implementing an index for tree patterns.
Here is the call graph for this function:
The documentation for this class was generated from the following file:
Generated on Mon Dec 27 2021 10:21:58 for Algorithms Library Toolkit by doxygen 1.9.2