Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <BackwardOracleMatching.h>
Static Public Member Functions | |
template<class SymbolType , class StateType > | |
static ext::set< unsigned > | match (const string::LinearString< SymbolType > &subject, const automaton::DFA< SymbolType, StateType > &factorOracle) |
Implementation of Backward Oracle Matching.
|
static |
Search for pattern in linear string.