de.rwth.domains.templates
Class TupleCompleteLattice

java.lang.Object
  |
  +--de.rwth.domains.templates.TupleSet
        |
        +--de.rwth.domains.templates.TuplePOSet
              |
              +--de.rwth.domains.templates.TupleLattice
                    |
                    +--de.rwth.domains.templates.TupleCompleteLattice

All Implemented Interfaces:

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

Direct Known Subclasses:

CFPLattice, CFPLocalsLattice

public class TupleCompleteLattice

extends TupleLattice

implements CompleteLattice

Class for the creation of complete lattices as tuple from other complete lattices.

Version:

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

Fields inherited from class de.rwth.domains.templates.TupleSet

sets, size, sizeSkel

Constructor Summary

TupleCompleteLattice(CompleteLattice[] lattices)
Creates a new 'TupleCompleteLattice' instance from an array of lattices.

Method Summary

java.lang.Object	bottom() Returns the bottom element, which is the tuple of bottom elements from the component lattices.
java.lang.Object	top() Returns the top element, which is the tuple of top elements from the component lattices.

Methods inherited from class de.rwth.domains.templates.TupleLattice

join, main, meet

Methods inherited from class de.rwth.domains.templates.TuplePOSet

le, lt

Methods inherited from class de.rwth.domains.templates.TupleSet

equals, getSets, isElement, iterator, iteratorSkel, size, sizeSkel

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

TupleCompleteLattice

public TupleCompleteLattice(CompleteLattice[] lattices)

Creates a new 'TupleCompleteLattice' instance from an array of lattices.

Method Detail

top

public java.lang.Object top()

Returns the top element, which is the tuple of top elements from the component lattices.

Specified by:

top in interface CompleteLattice

Returns:

an Object value

bottom

public java.lang.Object bottom()

Returns the bottom element, which is the tuple of bottom elements from the component lattices.

Specified by:

bottom in interface CompleteLattice

Returns:

an Object value