public final class NFAStateSet extends StateSet<NFAState> implements JsonConvertible
| Constructor and Description |
|---|
NFAStateSet(NFA nfa) |
NFAStateSet(NFA nfa,
NFAState state) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(NFAState state) |
NFAStateSet |
copy() |
int |
getStateIndex(NFAState state) |
JsonValue |
toJson() |
addAll, addBatch, addBatchFinish, clear, contains, containsAll, equals, getStateIndex, hashCode, intIterator, isDisjoint, isEmpty, iterator, remove, removeAll, replace, retainAll, size, stream, toArray, toArray, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitspliteratorparallelStream, removeIfpublic NFAStateSet(NFA nfa)
public NFAStateSet copy()
public boolean add(NFAState state)
public int getStateIndex(NFAState state)
public JsonValue toJson()
toJson in interface JsonConvertible