|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
T
- the type of the lattice elementspublic interface Lattice<T>
Lattice
defines the interface for a lattice with element type T
.
Method Summary | |
---|---|
T |
getLeastUpperBound(T a,
T b)
Returns the least upper bound of the lattice elements a and
b . |
T |
getSmallestElement()
Returns the smallest element of the lattice. |
Methods inherited from interface tip.util.Equalitor |
---|
equals, hashCode |
Method Detail |
---|
T getSmallestElement()
getSmallestElement
must return a cloned
element.
T getLeastUpperBound(T a, T b)
a
and
b
. Beware that if the lattice elements are mutable, getLeastUpperBound
must return a cloned or new element. The method must
handle the case where a
or b
are null
.
a
- the first elementb
- the second element
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |