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

Class BranchNodeIntermediate

java.lang.Object

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

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

public class BranchNodeIntermediate
extends NodeIntermediate

Node in an intermediate proof representation modeling a branch node. This node has a title (branch identifier) should have exactly one child. Only exception: An empty proof; in this case, there is the only branch "dummy ID" that has no parseable children.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.lang.String	branchTitle

Constructor Summary

Constructors

Constructor and Description
BranchNodeIntermediate(java.lang.String branchTitle)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getBranchTitle()

Methods inherited from class de.uka.ilkd.key.proof.io.intermediate.NodeIntermediate

addChild, getChildren, setChildren

Methods inherited from class java.lang.Object

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

Field Detail

branchTitle

private java.lang.String branchTitle

Constructor Detail

BranchNodeIntermediate

public BranchNodeIntermediate(java.lang.String branchTitle)

Method Detail

getBranchTitle

public java.lang.String getBranchTitle()