|
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 void | match_rec (ext::set< unsigned > &occ, const tree::PrefixRankedBarTree< SymbolType > &subject, const tree::PrefixRankedBarPattern< SymbolType > &pattern, ext::vector< size_t > &fba, ext::map< common::ranked_symbol< SymbolType >, size_t > &bbcs, ext::vector< int > &subjectSubtreeJumpTable, int low, int high) |
|
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 void | match_rec (ext::set< unsigned > &occ, const tree::PrefixRankedTree< SymbolType > &subject, const tree::PrefixRankedPattern< SymbolType > &pattern, ext::vector< size_t > &fba, ext::map< common::ranked_symbol< SymbolType >, size_t > &bbcs, ext::vector< int > &subjectSubtreeJumpTable, int low, int high) |
|
Implementation of DeadZone matching using bad character shift as shifting method on one direction and border array on the other