T
- the Java type of values produced by this termpublic interface BoundTerm<T> extends Bound<T>, Term
Modifier and Type | Method and Description |
---|---|
default java.util.Comparator<T> |
comparator()
Returns a
Comparator for values produced by this term. |
boolean |
isEquivalentTo(BoundTerm<?> other)
Returns whether this term is equivalent to another.
|
Type |
type()
Returns the type produced by this expression.
|
Type type()
default java.util.Comparator<T> comparator()
Comparator
for values produced by this term.boolean isEquivalentTo(BoundTerm<?> other)
other
- a term