Interface | Description |
---|---|
Styler<T> |
A
Styler is a part of a strategy to implement a flexible mechanism for the representation of elements. |
Class | Description |
---|---|
DisableGoal |
Action enabling or disabling a selected set of goals.
|
GUIAbstractTreeNode | |
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. |
ProofTreePopupFactory | |
ProofTreeView | |
ProofTreeViewFilter |
Filters for the proof tree view.
|
Style |
Copyright © 2003-2019 The KeY-Project.