public interface HlddNonTerminalNode
Modifier and Type | Method and Description |
---|---|
void |
addChild(HlddNode child)
Adds the specified
HlddNode to the children nodes. |
java.util.Collection<? extends HlddNode> |
getChildren()
Returns the children nodes.
|
void |
removeChild(HlddNode child)
Removes the specified
HlddNode from the children nodes. |