de.rwth.domains
Interface LowerSemiLattice

All Superinterfaces:

POSet, PreLowerSemiLattice, Set

All Known Subinterfaces:

CompleteLattice, Lattice

public interface LowerSemiLattice

extends PreLowerSemiLattice

Interface for lower semi lattices. Lower semi lattices are partially ordered sets, where the greatest lower bound exists for any two elements.

Version:

$Id: LowerSemiLattice.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

meet(java.lang.Object e1, java.lang.Object e2) Computes the greatest lower bound of two elements.

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

meet

public java.lang.Object meet(java.lang.Object e1,
                             java.lang.Object e2)

Computes the greatest lower bound of two elements.
Implementations should guarantee that meet is commutative and associative. Furthermore, meet(e1,e2)=e1 iff le(e1,e2).

Specified by:

meet in interface PreLowerSemiLattice

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

the greatest lower bound of e1 and e2

See Also:

Domain.checkProperties(LowerSemiLattice lsl)