public class SetTerm extends TermAdapter<java.util.Set<Term<?>>>
value
Constructor and Description |
---|
SetTerm() |
SetTerm(java.util.Collection<Term<?>> terms) |
SetTerm(SetTerm other) |
Modifier and Type | Method and Description |
---|---|
SetTerm |
clone()
Creates a deep copy of the term
|
boolean |
equals(java.lang.Object o) |
java.lang.String |
toString() |
containsTermsOfType, get, getSort, getTerms, getTerms, hashCode, set, substitute
public SetTerm()
public SetTerm(SetTerm other)
public SetTerm(java.util.Collection<Term<?>> terms)
public SetTerm clone()
Term
public java.lang.String toString()
toString
in class TermAdapter<java.util.Set<Term<?>>>
public boolean equals(java.lang.Object o)
equals
in class TermAdapter<java.util.Set<Term<?>>>