|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EqualityElement | |
---|---|
tip.util | Provides utility classes for the TIP compiler. |
Uses of EqualityElement in tip.util |
---|
Methods in tip.util with parameters of type EqualityElement | |
---|---|
boolean |
EqualitySet.add(EqualityElement<E> e)
Adds the element held by the EqualityElement e to this
set. |
boolean |
EqualityElement.equals(EqualityElement<T> element)
Returns {link Equalitor.equals(Object, Object) from the equalitor
on the encapsulated element and element . |
Constructor parameters in tip.util with type arguments of type EqualityElement | |
---|---|
EqualitySet(Set<EqualityElement<E>> set,
Equalitor<E> equalitor)
Create an EqualitySet containing the elements of set with
equalitor as the equalitor. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |