public abstract class NodeIntermediate
extends java.lang.Object
Constructor and Description |
---|
NodeIntermediate() |
Modifier and Type | Method and Description |
---|---|
void |
addChild(NodeIntermediate child) |
java.util.LinkedList<NodeIntermediate> |
getChildren() |
void |
setChildren(java.util.LinkedList<NodeIntermediate> children) |
public java.util.LinkedList<NodeIntermediate> getChildren()
public void setChildren(java.util.LinkedList<NodeIntermediate> children)
public void addChild(NodeIntermediate child)
Copyright © 2003-2019 The KeY-Project.