public abstract class ProofTreeViewFilter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
private static class |
ProofTreeViewFilter.HideClosedSubtreesFilter |
private static class |
ProofTreeViewFilter.HideIntermediateFilter |
(package private) static class |
ProofTreeViewFilter.NodeFilter
Filters working locally on nodes.
|
private static class |
ProofTreeViewFilter.OnlyInteractiveFilter |
Modifier and Type | Field and Description |
---|---|
static ProofTreeViewFilter[] |
ALL |
static ProofTreeViewFilter |
HIDE_CLOSED_SUBTREES |
static ProofTreeViewFilter |
HIDE_INTERMEDIATE |
static ProofTreeViewFilter |
ONLY_INTERACTIVE |
Constructor and Description |
---|
ProofTreeViewFilter() |
Modifier and Type | Method and Description |
---|---|
(package private) abstract boolean |
global()
Returns whether the filter's scope is on the whole tree (like hiding subtrees).
|
abstract boolean |
isActive()
Whether the filter is currently active.
|
abstract java.lang.String |
name()
Name of the filter used in GUI elements.
|
(package private) abstract void |
setActive(boolean active)
Should only be called through GUIProofTreeNode#setFilter().
|
public static final ProofTreeViewFilter HIDE_INTERMEDIATE
public static final ProofTreeViewFilter HIDE_CLOSED_SUBTREES
public static final ProofTreeViewFilter ONLY_INTERACTIVE
public static final ProofTreeViewFilter[] ALL
public abstract java.lang.String name()
public abstract boolean isActive()
abstract void setActive(boolean active)
abstract boolean global()