public class NodeChangeRemoveFormula extends NodeChangeARFormula
pos
NodeChangeRemoveFormula(PosInOccurrence p_pos)
String
toString()
getPos
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public NodeChangeRemoveFormula(PosInOccurrence p_pos)
public String toString()
toString
Object