public class PrefixAutomatonNode
extends java.lang.Object
Constructor and Description |
---|
PrefixAutomatonNode(int inst)
Constructor of a new node with the given number of instances.
|
Modifier and Type | Method and Description |
---|---|
int |
getInstances() |
int |
getNumChildren() |
int |
getNumEscaping() |
PrefixAutomatonNodeType |
getType() |
void |
incIntances(int increment)
Increment the instances number of the node.
|
void |
setNumChildren(int numChildren) |
void |
setNumEscaping(int numEscaping) |
void |
setType(PrefixAutomatonNodeType t) |
java.lang.String |
toString() |
public PrefixAutomatonNode(int inst)
public void incIntances(int increment)
increment
- Increment to add to the instances of the node.public void setType(PrefixAutomatonNodeType t)
public PrefixAutomatonNodeType getType()
public int getInstances()
public int getNumEscaping()
public void setNumEscaping(int numEscaping)
public int getNumChildren()
public void setNumChildren(int numChildren)
public java.lang.String toString()
toString
in class java.lang.Object