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 |