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