public static final class ShowSelectedSequentPrintFilter.Entry extends java.lang.Object implements SequentPrintFilterEntry
accessibility
ShowSelectedSequentPrintFilter
.
The only entry created for such a filter contains the sub-term at the specified position as
filtered term (getFilteredFormula()
) and that sub-term's top-level term as
the original (getOriginalFormula()
).Modifier and Type | Method and Description |
---|---|
SequentFormula |
getFilteredFormula()
Formula to display
|
SequentFormula |
getOriginalFormula()
Original formula from sequent
|
public SequentFormula getFilteredFormula()
SequentPrintFilterEntry
getFilteredFormula
in interface SequentPrintFilterEntry
public SequentFormula getOriginalFormula()
SequentPrintFilterEntry
getOriginalFormula
in interface SequentPrintFilterEntry
Copyright © 2003-2019 The KeY-Project.