Package | Description |
---|---|
de.uka.ilkd.key.logic.label | |
de.uka.ilkd.key.rule.label |
Modifier and Type | Method and Description |
---|---|
TermLabelMerger |
TermLabelManager.TermLabelConfiguration.getTermLabelMerger()
Returns the
TermLabelMerger instance. |
Constructor and Description |
---|
TermLabelConfiguration(Name termLabelName,
TermLabelFactory<?> factory,
ImmutableList<TermLabelPolicy> applicationTermPolicies,
ImmutableList<TermLabelPolicy> modalityTermPolicies,
ImmutableList<ChildTermLabelPolicy> directChildTermLabelPolicies,
ImmutableList<ChildTermLabelPolicy> childAndGrandchildTermLabelPolicies,
ImmutableList<TermLabelUpdate> termLabelUpdates,
ImmutableList<TermLabelRefactoring> termLabelRefactorings,
TermLabelMerger termLabelMerger)
Constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
FormulaTermLabelMerger
The
TermLabelMerger used to merge FormulaTermLabel s. |
Copyright © 2003-2019 The KeY-Project.