public abstract class SequentPrintFilter
extends java.lang.Object
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
|
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()
Copyright © 2003-2019 The KeY-Project.