public class IdentitySequentPrintFilter extends SequentPrintFilter
Modifier and Type | Class and Description |
---|---|
static class |
IdentitySequentPrintFilter.IdentityFilterEntry
A filter entry, representing one sequent formula.
|
antec, originalSequent, succ
Constructor and Description |
---|
IdentitySequentPrintFilter() |
Modifier and Type | Method and Description |
---|---|
protected SequentPrintFilterEntry |
filterFormula(SequentFormula sequentFormula) |
protected void |
filterSequent()
filters the sequent, creating SequentPrintFilterEntries from the sequent formulae.
|
ImmutableList<SequentPrintFilterEntry> |
getFilteredAntec()
Get the formulas of the filtered antecedent and the constraints to use for
instantiating metavariables when printing
|
ImmutableList<SequentPrintFilterEntry> |
getFilteredSucc()
Get the formulas of the filtered succcedent and the constraints to use for
instantiating metavariables when printing
|
filterIdentity, getOriginalSequent, setSequent
protected void filterSequent()
filterSequent
in class SequentPrintFilter
protected SequentPrintFilterEntry filterFormula(SequentFormula sequentFormula)
sequentFormula
- the formula to filterpublic ImmutableList<SequentPrintFilterEntry> getFilteredAntec()
getFilteredAntec
in class SequentPrintFilter
public ImmutableList<SequentPrintFilterEntry> getFilteredSucc()
getFilteredSucc
in class SequentPrintFilter