Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <ReversedQuickSearch.h>
Static Public Member Functions | |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedBarTree< SymbolType > &subject, const tree::PrefixRankedBarTree< SymbolType > &pattern) |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedBarTree< SymbolType > &subject, const tree::PrefixRankedBarPattern< SymbolType > &pattern) |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedBarTree< SymbolType > &subject, const tree::PrefixRankedBarNonlinearPattern< SymbolType > &pattern) |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedTree< SymbolType > &subject, const tree::PrefixRankedTree< SymbolType > &pattern) |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedTree< SymbolType > &subject, const tree::PrefixRankedPattern< SymbolType > &pattern) |
template<class SymbolType > | |
static ext::set< unsigned > | match (const tree::PrefixRankedTree< SymbolType > &subject, const tree::PrefixRankedNonlinearPattern< SymbolType > &pattern) |
Implementation of the Reversed Quick Search algorithm for tree pattern matching. This variant searches the subject tree from right to left, while comparing matches from left to right. This algorithm makes use of a Bad character shift table as well as a Subtree jump table.
|
static |
|
static |
|
static |
Search for a tree pattern in a tree.
|
static |
|
static |
|
static |