class LabeledTermImpl extends TermImpl
Term#equalsModRenaming(Object)
does not care about annotations and will just
compare the term structure alone modula renaming.Modifier and Type | Field and Description |
---|---|
private ImmutableArray<TermLabel> |
labels |
Constructor and Description |
---|
LabeledTermImpl(Operator op,
ImmutableArray<Term> subs,
ImmutableArray<QuantifiableVariable> boundVars,
JavaBlock javaBlock,
ImmutableArray<TermLabel> labels)
creates an instance of a labeled term.
|
Modifier and Type | Method and Description |
---|---|
int |
computeHashCode()
performs the actual computation of the hashcode and can be overwritten by subclasses if necessary
|
boolean |
containsLabel(TermLabel label)
returns true if the given label is attached
|
boolean |
equals(java.lang.Object o)
true iff
o is syntactically equal to this term |
TermLabel |
getLabel(Name termLabelName)
|
ImmutableArray<TermLabel> |
getLabels()
returns the labels attached to this term
|
boolean |
hasLabels()
returns true if the term is labeled
|
java.lang.String |
toString()
returns a linearized textual representation of this term
|
arity, boundVars, checked, containsJavaBlockRecursive, depth, equalsModRenaming, execPostOrder, execPreOrder, freeVars, hashCode, isRigid, javaBlock, op, op, serialNumber, sort, sub, subs, varsBoundHere
private final ImmutableArray<TermLabel> labels
public LabeledTermImpl(Operator op, ImmutableArray<Term> subs, ImmutableArray<QuantifiableVariable> boundVars, JavaBlock javaBlock, ImmutableArray<TermLabel> labels)
op
- the top level operatorsubs
- the Term that are the subterms of this termboundVars
- logic variables bound by the operatorjavaBlock
- contains the program part of the term (if any)labels
- the terms labels (must not be null or empty)public boolean hasLabels()
public ImmutableArray<TermLabel> getLabels()
public boolean containsLabel(TermLabel label)
containsLabel
in interface Term
containsLabel
in class TermImpl
label
- the TermLabel for which to look (must not be null)public boolean equals(java.lang.Object o)
o
is syntactically equal to this termpublic int computeHashCode()
computeHashCode
in class TermImpl