| Class | Description |
|---|---|
| DisableGoal |
Action enabling or disabling a selected set of goals.
|
| ExpansionState |
Cache/Access JTree's expansion state.
|
| GUIAbstractTreeNode | |
| GUIBranchNode | |
| GUIOneStepChildTreeNode |
A special kind of gui proof tree node to show intermediate intermediate steps of the
OneStepSimplifier. |
| GUIProofTreeModel |
An implementation of TreeModel that can be displayed using the
JTree class framework and reflects the state of a
Proof object. |
| GUIProofTreeNode | |
| ProofTreeSearchBar | |
| ProofTreeView | |
| ProofTreeView.CacheLessMetalTreeUI | |
| ProofTreeViewFilter |
Filters for the proof tree view.
|
| ProofTreeViewFilter.HideClosedSubtreesFilter | |
| ProofTreeViewFilter.HideIntermediateFilter | |
| ProofTreeViewFilter.NodeFilter |
Filters working locally on nodes.
|
| ProofTreeViewFilter.OnlyInteractiveFilter |