Uses of Class
tip.util.EqualityElement

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.