public class FormulaChangeInfo
extends java.lang.Object
SequentChangeInfo
Modifier and Type | Field and Description |
---|---|
private SequentFormula |
newFormula
modified formula
|
private PosInOccurrence |
positionOfModification
position within the original formula
|
Constructor and Description |
---|
FormulaChangeInfo(PosInOccurrence positionOfModification,
SequentFormula newFormula) |
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getNewFormula() |
SequentFormula |
getOriginalFormula() |
PosInOccurrence |
getPositionOfModification() |
java.lang.String |
toString() |
private final PosInOccurrence positionOfModification
private final SequentFormula newFormula
public FormulaChangeInfo(PosInOccurrence positionOfModification, SequentFormula newFormula)
public SequentFormula getNewFormula()
public SequentFormula getOriginalFormula()
public PosInOccurrence getPositionOfModification()
public java.lang.String toString()
toString
in class java.lang.Object