public class ShowSelectedSequentPrintFilter extends SequentPrintFilter
PosInOccurrence
and only shows the sub-formula at that position.Modifier and Type | Class and Description |
---|---|
static class |
ShowSelectedSequentPrintFilter.Entry
An Entry in
accessibility ShowSelectedSequentPrintFilter . |
Constructor and Description |
---|
ShowSelectedSequentPrintFilter(PosInOccurrence pos)
Create a new
ShowSelectedSequentPrintFilter . |
Modifier and Type | Method and Description |
---|---|
protected 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
|
filterIdentity, getOriginalSequent, setSequent
public ShowSelectedSequentPrintFilter(PosInOccurrence pos)
ShowSelectedSequentPrintFilter
.pos
- the position of the only sub-formula to show.protected void filterSequent()
SequentPrintFilter
filterSequent
in class SequentPrintFilter
public ImmutableList<SequentPrintFilterEntry> getFilteredAntec()
SequentPrintFilter
getFilteredAntec
in class SequentPrintFilter
public ImmutableList<SequentPrintFilterEntry> getFilteredSucc()
SequentPrintFilter
getFilteredSucc
in class SequentPrintFilter
Copyright © 2003-2019 The KeY-Project.