private static class IdentitySequentPrintFilter.IdentityFilterEntry extends Object implements SequentPrintFilterEntry
Modifier and Type | Field and Description |
---|---|
(package private) SequentFormula |
originalFormula |
Constructor and Description |
---|
IdentitySequentPrintFilter.IdentityFilterEntry(SequentFormula p_originalFormula) |
Modifier and Type | Method and Description |
---|---|
SequentFormula |
getFilteredFormula()
Formula to display
|
SequentFormula |
getOriginalFormula()
Original formula from sequent
|
final SequentFormula originalFormula
public IdentitySequentPrintFilter.IdentityFilterEntry(SequentFormula p_originalFormula)
public SequentFormula getFilteredFormula()
getFilteredFormula
in interface SequentPrintFilterEntry
public SequentFormula getOriginalFormula()
getOriginalFormula
in interface SequentPrintFilterEntry