public abstract class DFAAbstractStateNode extends Object implements JsonConvertible
| Modifier and Type | Field and Description |
|---|---|
protected short[] |
successors |
| Modifier and Type | Method and Description |
|---|---|
abstract DFAAbstractStateNode |
createNodeSplitCopy(short copyID)
Creates a copy of this state node, where all attributes are copied shallowly, except for the
DFAAbstractStateNode.successors array, which is deep-copied, and the node ID, which is replaced by the
parameter copyID. |
short |
getId() |
short[] |
getSuccessors() |
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waittoJsonpublic abstract DFAAbstractStateNode createNodeSplitCopy(short copyID)
DFAAbstractStateNode.successors array, which is deep-copied, and the node ID, which is replaced by the
parameter copyID. Used by DFANodeSplit.copyID - new ID for the copy.public final short getId()
public final short[] getSuccessors()