public class DFAInitialStateNode extends DFAAbstractStateNode
successors| Constructor and Description |
|---|
DFAInitialStateNode(short[] successors,
short[] cgLastTransition) |
| Modifier and Type | Method and Description |
|---|---|
DFAAbstractStateNode |
createNodeSplitCopy(short copyID)
Creates a node split copy of this initial state as described in
DFAAbstractStateNode,
but ignores copyID, since having two initial states in a DFA is not supported. |
short[] |
getCgLastTransition() |
int |
getPrefixLength() |
boolean |
hasUnAnchoredEntry() |
JsonValue |
toJson() |
getId, getSuccessorspublic DFAInitialStateNode(short[] successors,
short[] cgLastTransition)
public short[] getCgLastTransition()
public int getPrefixLength()
public boolean hasUnAnchoredEntry()
public DFAAbstractStateNode createNodeSplitCopy(short copyID)
DFAAbstractStateNode,
but ignores copyID, since having two initial states in a DFA is not supported. Therefore,
this method should be used for replacing the original initial state with the copy.createNodeSplitCopy in class DFAAbstractStateNodecopyID - new ID for the copy.DFAAbstractStateNode,
ignoring copyID.public JsonValue toJson()