Interface | Description |
---|---|
TacletSetTranslation |
This interface provides the mechanism of translating taclets to formulae.
|
TranslationListener |
Listener for the classes which implement
TacletTranslator . |
VariablePool |
Class | Description |
---|---|
AssumptionFormula | |
AssumptionGenerator | |
DefaultTacletSetTranslation | |
GenericTranslator | |
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.
|
TacletConditions |
This class is used for wrapping all variable conditions of a taclet
in one object.
|
Enum | Description |
---|---|
SupportedTaclets.Category |
The category of taclets.
|
SupportedTaclets.TreeItem.SelectionMode |