Package | Description |
---|---|
de.uka.ilkd.key.taclettranslation | |
de.uka.ilkd.key.taclettranslation.assumptions |
Modifier and Type | Method and Description |
---|---|
Term |
SkeletonGenerator.translate(Taclet t,
TermServices services)
Override this method to introduce a translating mechanism for taclets.
|
Term |
DefaultTacletTranslator.translate(Taclet taclet,
TermServices services)
Translates a RewriteTaclet to a formula.
|
Modifier and Type | Method and Description |
---|---|
protected static Term |
AssumptionGenerator.quantifyTerm(Term term,
TermServices services)
Quantifies a term, i.d.
|
TacletFormula |
AssumptionGenerator.translate(Taclet t,
ImmutableSet<Sort> sorts,
int maxGeneric) |
Constructor and Description |
---|
AssumptionFormula(Taclet taclet,
java.util.Collection<Term> formula,
java.lang.String status,
de.uka.ilkd.key.taclettranslation.assumptions.TacletConditions conditions) |
Copyright © 2003-2019 The KeY-Project.