Interface | Description |
---|---|
TacletSetTranslation |
This interface provides the mechanism of translating taclets to formulae.
|
TranslationListener |
Listener for the classes which implement
TacletTranslator . |
Class | Description |
---|---|
AssumptionFormula | |
AssumptionGenerator | |
DefaultTacletSetTranslation | |
SupportedTaclets |
Change this file if you want to change the set of taclets that can be used
for external provers.
|
SupportedTaclets.TreeItem |
TreeItem represents the user data in a tree model.
|
Enum | Description |
---|---|
SupportedTaclets.Category |
The category of taclets.
|
SupportedTaclets.TreeItem.SelectionMode |
Copyright © 2003-2019 The KeY-Project.