de.uka.ilkd.key.proof.io.intermediate

Class NodeIntermediate

java.lang.Object

de.uka.ilkd.key.proof.io.intermediate.NodeIntermediate

Direct Known Subclasses:

AppNodeIntermediate, BranchNodeIntermediate

public abstract class NodeIntermediate
extends java.lang.Object

Node in an intermediate proof representation. Responsible for storing information about children of nodes.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.LinkedList<NodeIntermediate>	children

Constructor Summary

Constructors

Constructor and Description
NodeIntermediate()

Method Summary

Modifier and Type	Method and Description
void	addChild(NodeIntermediate child)
java.util.LinkedList<NodeIntermediate>	getChildren()
void	setChildren(java.util.LinkedList<NodeIntermediate> children)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

children

private java.util.LinkedList<NodeIntermediate> children

Constructor Detail

NodeIntermediate

public NodeIntermediate()

Method Detail

getChildren

public java.util.LinkedList<NodeIntermediate> getChildren()

setChildren

public void setChildren(java.util.LinkedList<NodeIntermediate> children)

addChild

public void addChild(NodeIntermediate child)