ProofTreeViewFilter.HideClosedSubtreesFilter (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter
- - de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter.HideClosedSubtreesFilter

private static class ProofTreeViewFilter.HideClosedSubtreesFilter
extends ProofTreeViewFilter

Nested Class Summary
- Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter
  ProofTreeViewFilter.NodeFilter

Field Summary
- Fields inherited from class de.uka.ilkd.key.gui.prooftree.ProofTreeViewFilter
  ALL, HIDE_CLOSED_SUBTREES, HIDE_INTERMEDIATE, ONLY_INTERACTIVE

Constructors
Modifier	Constructor and Description
`private`	`HideClosedSubtreesFilter()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`(package private) boolean`	`global()` Returns whether the filter's scope is on the whole tree (like hiding subtrees).
`boolean`	`isActive()` Whether the filter is currently active.
`String`	`name()` Name of the filter used in GUI elements.
`(package private) void`	`setActive(boolean active)` Should only be called through GUIProofTreeNode#setFilter().

Class ProofTreeViewFilter.HideClosedSubtreesFilter