| 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 |