de.uka.ilkd.key.taclettranslation.assumptions

Interfaces

• TacletSetTranslation
• TranslationListener
• VariablePool

Classes

• AssumptionFormula
• AssumptionGenerator
• DefaultTacletSetTranslation
• GenericTranslator
• SupportedTaclets
• SupportedTaclets.TreeItem
• TacletConditions

Enums

• SupportedTaclets.Category
• SupportedTaclets.TreeItem.SelectionMode