Package | Description |
---|---|
de.uka.ilkd.key.taclettranslation.assumptions | |
de.uka.ilkd.key.taclettranslation.lemma |
Modifier and Type | Class and Description |
---|---|
class |
AssumptionFormula |
Modifier and Type | Method and Description |
---|---|
TacletFormula |
AssumptionGenerator.translate(Taclet t,
ImmutableSet<Sort> sorts,
int maxGeneric) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<TacletFormula> |
TacletSetTranslation.getNotTranslated()
Returns all taclet that have not been translated.
|
ImmutableList<TacletFormula> |
DefaultTacletSetTranslation.getNotTranslated() |
ImmutableList<TacletFormula> |
TacletSetTranslation.getTranslation(ImmutableSet<Sort> sorts)
Builds the translation of the taclets given by calling the method
setTacletSet() . |
ImmutableList<TacletFormula> |
DefaultTacletSetTranslation.getTranslation(ImmutableSet<Sort> sorts) |
Modifier and Type | Method and Description |
---|---|
TacletFormula |
LemmaGenerator.translate(Taclet taclet,
TermServices services) |
Copyright © 2003-2019 The KeY-Project.