public interface TacletSetTranslation
Modifier and Type | Method and Description |
---|---|
ImmutableList<TacletFormula> |
getNotTranslated()
Returns all taclet that have not been translated.
|
ImmutableList<TacletFormula> |
getTranslation(ImmutableSet<Sort> sorts)
Builds the translation of the taclets given by calling the method
setTacletSet() . |
void |
update()
Updates the translation, i.d. the given list of taclets is being
translated again.
|
ImmutableList<TacletFormula> getTranslation(ImmutableSet<Sort> sorts)
setTacletSet()
.sorts
- this sorts are used for the instantiation of generic types.ImmutableList<TacletFormula> getNotTranslated()
TacletFormula.getStatus()
.void update()