Package | Description |
---|---|
de.uka.ilkd.key.gui.prooftree |
Modifier and Type | Field and Description |
---|---|
static ProofTreeViewFilter[] |
ProofTreeViewFilter.ALL
All ProofTreeViewFilters.
|
static ProofTreeViewFilter[] |
ProofTreeViewFilter.ALL_GLOBAL_FILTERS
All ProofTreeViewFilters that operate on whole subtrees, as opposed to
NodeFilter s,
which operate on single nodes. |
static ProofTreeViewFilter |
ProofTreeViewFilter.HIDE_CLOSED_SUBTREES
Hide Closed Subtrees
|
static ProofTreeViewFilter |
ProofTreeViewFilter.HIDE_INTERACTIVE_GOALS
Hide Subtrees Whose Goals are Interactive.
|
static ProofTreeViewFilter |
ProofTreeViewFilter.HIDE_INTERMEDIATE
Hide Intermediate Proofsteps
|
static ProofTreeViewFilter |
ProofTreeViewFilter.ONLY_INTERACTIVE
Hide Non-interactive Proofsteps.
|
Modifier and Type | Method and Description |
---|---|
void |
GUIProofTreeModel.setFilter(ProofTreeViewFilter filter,
boolean active)
Set filters active or inactive and update tree if necessary.
|
Copyright © 2003-2019 The KeY-Project.