de.uka.ilkd.key.proof.proofevent

Class NodeChangeAddFormula

java.lang.Object

de.uka.ilkd.key.proof.proofevent.NodeChangeARFormula

de.uka.ilkd.key.proof.proofevent.NodeChangeAddFormula

All Implemented Interfaces:

NodeChange

public class NodeChangeAddFormula
extends NodeChangeARFormula

Information about a formula that has been added to a node (the position given is the position of the formula within the new sequent)

Field Summary

Fields inherited from class de.uka.ilkd.key.proof.proofevent.NodeChangeARFormula

pos

Constructor Summary

Constructors

Constructor and Description
NodeChangeAddFormula(PosInOccurrence p_pos)

Method Summary

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

Methods inherited from class de.uka.ilkd.key.proof.proofevent.NodeChangeARFormula

getPos

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeChangeAddFormula

public NodeChangeAddFormula(PosInOccurrence p_pos)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object