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