de.uka.ilkd.key.proof.proofevent

Class NodeChangeRemoveFormula

java.lang.Object

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

de.uka.ilkd.key.proof.proofevent.NodeChangeRemoveFormula

All Implemented Interfaces:

NodeChange

public class NodeChangeRemoveFormula
extends NodeChangeARFormula

Information about a formula that has been removed from 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
NodeChangeRemoveFormula(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

NodeChangeRemoveFormula

public NodeChangeRemoveFormula(PosInOccurrence p_pos)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object