de.uka.ilkd.key.proof.proofevent

Class NodeChangeARFormula

java.lang.Object

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

All Implemented Interfaces:

NodeChange

Direct Known Subclasses:

NodeChangeAddFormula, NodeChangeRemoveFormula

public abstract class NodeChangeARFormula
extends Object
implements NodeChange

Information about a formula that has been added or removed from a node

Field Summary

Fields

Modifier and Type	Field and Description
(package private) PosInOccurrence	pos

Constructor Summary

Constructors

Constructor and Description
NodeChangeARFormula(PosInOccurrence p_pos)

Method Summary

Modifier and Type	Method and Description
PosInOccurrence	getPos()

Methods inherited from class java.lang.Object

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

Field Detail

pos

PosInOccurrence pos

Constructor Detail

NodeChangeARFormula

public NodeChangeARFormula(PosInOccurrence p_pos)

Method Detail

getPos

public PosInOccurrence getPos()

Returns:

the position of the formula