public class NodeRedundantAddChange extends java.lang.Object implements NodeChange
Modifier and Type | Field and Description |
---|---|
private PosInOccurrence |
pio
the PosInOccurrence of the formula that has been tried to add
|
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
|
private final PosInOccurrence pio
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