public final class PureNFAIndex extends SimpleStateIndex<PureNFA>
| Constructor and Description |
|---|
PureNFAIndex(int size) |
| Modifier and Type | Method and Description |
|---|---|
static PureNFAIndex |
getEmptyInstance() |
protected int |
getStateId(PureNFA state) |
protected void |
setStateId(PureNFA state,
int id) |
add, get, getEmptySet, getId, getNumberOfStates, getState, iterator, size, spliterator, streamclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisEmptypublic static PureNFAIndex getEmptyInstance()
protected int getStateId(PureNFA state)
getStateId in class SimpleStateIndex<PureNFA>protected void setStateId(PureNFA state, int id)
setStateId in class SimpleStateIndex<PureNFA>