Package | Description |
---|---|
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
Modifier and Type | Class and Description |
---|---|
static class |
IdentitySequentPrintFilter.IdentityFilterEntry
A filter entry, representing one sequent formula.
|
static class |
ShowSelectedSequentPrintFilter.Entry
An Entry in
accessibility ShowSelectedSequentPrintFilter . |
Modifier and Type | Method and Description |
---|---|
protected SequentPrintFilterEntry |
IdentitySequentPrintFilter.filterFormula(SequentFormula sequentFormula) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<SequentPrintFilterEntry> |
SequentPrintFilter.getFilteredAntec()
Get the formulas of the filtered antecedent and the constraints to use for
instantiating metavariables when printing
|
ImmutableList<SequentPrintFilterEntry> |
IdentitySequentPrintFilter.getFilteredAntec()
Get the formulas of the filtered antecedent and the constraints to use for
instantiating metavariables when printing
|
ImmutableList<SequentPrintFilterEntry> |
ShowSelectedSequentPrintFilter.getFilteredAntec() |
ImmutableList<SequentPrintFilterEntry> |
SequentPrintFilter.getFilteredSucc()
Get the formulas of the filtered succcedent and the constraints to use for
instantiating metavariables when printing
|
ImmutableList<SequentPrintFilterEntry> |
IdentitySequentPrintFilter.getFilteredSucc()
Get the formulas of the filtered succcedent and the constraints to use for
instantiating metavariables when printing
|
ImmutableList<SequentPrintFilterEntry> |
ShowSelectedSequentPrintFilter.getFilteredSucc() |
Modifier and Type | Method and Description |
---|---|
void |
LogicPrinter.printSemisequent(ImmutableList<SequentPrintFilterEntry> formulas) |
Copyright © 2003-2019 The KeY-Project.