public class FormulaChangeInfo
extends java.lang.Object
SequentChangeInfo
Constructor and Description |
---|
FormulaChangeInfo(PosInOccurrence positionOfModification,
SequentFormula newFormula) |
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getNewFormula() |
SequentFormula |
getOriginalFormula() |
PosInOccurrence |
getPositionOfModification() |
java.lang.String |
toString() |
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
Copyright © 2003-2019 The KeY-Project.