public final class PureNFAGenerator extends Object
| Modifier and Type | Method and Description |
|---|---|
PureNFAState |
getAnchoredFinalState() |
PureNFAState |
getOrCreateState(Term t) |
Counter.ThresholdCounter |
getTransitionIdCounter() |
PureNFAState |
getUnAnchoredFinalState() |
static PureNFAMap |
mapToNFA(RegexAST ast) |
public static PureNFAMap mapToNFA(RegexAST ast)
public Counter.ThresholdCounter getTransitionIdCounter()
public PureNFAState getAnchoredFinalState()
public PureNFAState getUnAnchoredFinalState()
public PureNFAState getOrCreateState(Term t)