public static class IdentitySequentPrintFilter.IdentityFilterEntry extends java.lang.Object implements SequentPrintFilterEntry
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getFilteredFormula()
Formula to display
|
SequentFormula |
getOriginalFormula()
Original formula from sequent
|
public SequentFormula getFilteredFormula()
getFilteredFormula
in interface SequentPrintFilterEntry
public SequentFormula getOriginalFormula()
getOriginalFormula
in interface SequentPrintFilterEntry
Copyright © 2003-2019 The KeY-Project.