public static class IdentitySequentPrintFilter.IdentityFilterEntry extends java.lang.Object implements SequentPrintFilterEntry
Modifier and Type | Field and Description |
---|---|
(package private) SequentFormula |
originalFormula
the original Formula being filtered
|
Constructor and Description |
---|
IdentityFilterEntry(SequentFormula originalFormula)
constructor
|
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getFilteredFormula()
Formula to display
|
SequentFormula |
getOriginalFormula()
Original formula from sequent
|
final SequentFormula originalFormula
IdentityFilterEntry(SequentFormula originalFormula)
originalFormula
- the original formula to be filteredpublic SequentFormula getFilteredFormula()
getFilteredFormula
in interface SequentPrintFilterEntry
public SequentFormula getOriginalFormula()
getOriginalFormula
in interface SequentPrintFilterEntry