de.uka.ilkd.key.taclettranslation.assumptions
Interfaces
TacletSetTranslation
TranslationListener
Classes
AssumptionFormula
AssumptionGenerator
DefaultTacletSetTranslation
SupportedTaclets
SupportedTaclets.TreeItem
Enums
SupportedTaclets.Category
SupportedTaclets.TreeItem.SelectionMode