Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.logic.label | |
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<Name> |
TermLabelVisibilityManager.getSortedTermLabelNames(TermLabelManager manager)
Returns a sorted list of all term TermLabelManager names supported by the given
TermLabelManager . |
Modifier and Type | Method and Description |
---|---|
static TermLabelManager |
TermLabelManager.getTermLabelManager(Services services)
|
Modifier and Type | Method and Description |
---|---|
TermLabelManager |
Profile.getTermLabelManager() |
TermLabelManager |
AbstractProfile.getTermLabelManager() |
Copyright © 2003-2019 The KeY-Project.