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