public class NodeRedundantAddChange extends java.lang.Object implements NodeChange
Constructor and Description |
---|
NodeRedundantAddChange(PosInOccurrence pio)
creates an instance
|
Modifier and Type | Method and Description |
---|---|
PosInOccurrence |
getPos()
returns the PosInOccurrence of the formula that has been tried to add
|
java.lang.String |
toString()
toString
|
public NodeRedundantAddChange(PosInOccurrence pio)
pio
- the PosInOccurrence of the formula that has been tried to addpublic PosInOccurrence getPos()
getPos
in interface NodeChange
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.