public abstract class SequentPrintFilter
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) ImmutableList<SequentPrintFilterEntry> |
antec
the antecedent of the filtered formula
|
(package private) Sequent |
originalSequent
the original sequent
|
(package private) ImmutableList<SequentPrintFilterEntry> |
succ
the antecedent of the filtered formula
|
Constructor and Description |
---|
SequentPrintFilter() |
Modifier and Type | Method and Description |
---|---|
protected void |
filterIdentity()
converts the complete original sequent into
antecedent/succendent lists of print filter entries.
|
protected abstract void |
filterSequent()
filters the sequent according to filter type
|
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
|
Sequent |
getOriginalSequent() |
void |
setSequent(Sequent s)
sets the (original) sequent of this filter
|
Sequent originalSequent
ImmutableList<SequentPrintFilterEntry> antec
ImmutableList<SequentPrintFilterEntry> succ
public Sequent getOriginalSequent()
protected abstract void filterSequent()
public void setSequent(Sequent s)
s
- the sequent s is set topublic ImmutableList<SequentPrintFilterEntry> getFilteredAntec()
public ImmutableList<SequentPrintFilterEntry> getFilteredSucc()
protected void filterIdentity()