de.rwth.domains
Interface CompleteLattice

All Superinterfaces:

CompletePOSet, Lattice, LowerSemiLattice, POSet, PreLattice, PreLowerSemiLattice, PreUpperSemiLattice, Set, UpperSemiLattice

All Known Implementing Classes:

FlatCompleteLattice, TupleCompleteLattice, LiftedCompleteLattice, BitVectorLattice

public interface CompleteLattice

extends Lattice, CompletePOSet

Interface for complete lattices. Complete lattices are lattices where every subset has a least upper and greatest lower bound. Consequently, they have a least and a greatest element.

Version:

$Id: CompleteLattice.java,v 1.2 2002/09/17 06:53:53 mohnen Exp $

Author:

Markus Mohnen

Inner classes inherited from class de.rwth.domains.Set

Set.Default

Method Summary

java.lang.Object	bottom() Gets the least element of this CompleteLattice.
java.lang.Object	top() Gets the greatest element of this CompleteLattice.

Methods inherited from interface de.rwth.domains.Lattice

join, meet

Methods inherited from interface de.rwth.domains.POSet

le, lt

Methods inherited from interface de.rwth.domains.Set

equals, isElement, iterator, iteratorSkel, size, sizeSkel

Method Detail

bottom

public java.lang.Object bottom()

Gets the least element of this CompleteLattice.

Implementations should guarantee that bottom is indeed least element of this set, this is to say that isElement recognises the value returned by bottom and lt(bottom(),e)==true for all elements e.

Specified by:

bottom in interface CompletePOSet

Returns:

the least element in this set

See Also:

Domain.checkProperties(CompleteLattice cl)

top

public java.lang.Object top()

Gets the greatest element of this CompleteLattice.

Implementations should guarantee that bottom is indeed least element of this set, this is to say that isElement recognises the value returned by bottom and lt(bottom(),e)==true for all elements e.

Returns:

the greatest element in this set

See Also:

Domain.checkProperties(CompleteLattice cl)