13#include <string/LinearString.h>
25 template <
class SymbolType >
30template <
class SymbolType >
45 return nfaSuffixAutomaton;
Nondeterministic finite automaton. Accepts regular languages.
Definition: NFA.h:66
bool addState(StateType state)
Definition: NFA.h:156
void setFinalStates(ext::set< StateType > states)
Definition: NFA.h:214
void setInputAlphabet(ext::set< SymbolType > symbols)
Definition: NFA.h:272
bool addTransition(StateType from, SymbolType input, StateType to)
Add a transition to the automaton.
Definition: NFA.h:450
Linear string.
Definition: LinearString.h:57
const ext::set< SymbolType > & getAlphabet() const &
Definition: LinearString.h:103
const ext::vector< SymbolType > & getContent() const &
Definition: LinearString.h:238
Definition: NondeterministicExactSuffixAutomaton.h:19
static automaton::NFA< SymbolType, unsigned > construct(const string::LinearString< SymbolType > &pattern)
Definition: NondeterministicExactSuffixAutomaton.h:31
int i
Definition: AllEpsilonClosure.h:118
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: ArithmeticCompression.h:18