public class FormulaTermLabelMerger extends java.lang.Object implements TermLabelMerger
TermLabelMerger
used to merge FormulaTermLabel
s.Constructor and Description |
---|
FormulaTermLabelMerger() |
Modifier and Type | Method and Description |
---|---|
boolean |
mergeLabels(SequentFormula existingSF,
Term existingTerm,
TermLabel existingLabel,
SequentFormula rejectedSF,
Term rejectedTerm,
TermLabel rejectedLabel,
java.util.List<TermLabel> mergedLabels)
Merges the existing and the rejected
TermLabel by updating the merged List . |
public boolean mergeLabels(SequentFormula existingSF, Term existingTerm, TermLabel existingLabel, SequentFormula rejectedSF, Term rejectedTerm, TermLabel rejectedLabel, java.util.List<TermLabel> mergedLabels)
TermLabel
by updating the merged List
.mergeLabels
in interface TermLabelMerger
existingSF
- The existing SequentFormula
.existingTerm
- The Term
of the existing SequentFormula
.existingLabel
- The existing TermLabel
if available or null
otherwise.rejectedSF
- The rejected SequentFormula
.rejectedTerm
- The Term
of the rejected SequentFormula
.rejectedLabel
- The rejected TermLabel
.mergedLabels
- The List
with new TermLabel
s which will be visible in the resulting Sequent
.true
if the List
of TermLabel
was modified and false
otherwise.