de.rwth.domains.templates
Class TupleLattice

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

All Implemented Interfaces:

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

Direct Known Subclasses:

TupleCompleteLattice

public class TupleLattice

extends TuplePOSet

implements Lattice

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

Version:

$Id: TupleLattice.java,v 1.3 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

TupleLattice(Lattice[] lattices)
Creates a new 'TupleLattice' instance.

Method Summary

java.lang.Object	join(java.lang.Object e1, java.lang.Object e2) Computes the least upper bound of two elements by computing it component-wise.
static void	main(java.lang.String[] args) Mini test environment.
java.lang.Object	meet(java.lang.Object e1, java.lang.Object e2) Computes the greatest lower bound of two elements by computing it component-wise.

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.POSet

le, lt

Methods inherited from interface de.rwth.domains.Set

equals, isElement, iterator, iteratorSkel, size, sizeSkel

Constructor Detail

TupleLattice

public TupleLattice(Lattice[] lattices)

Creates a new 'TupleLattice' instance.

Method Detail

meet

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

Computes the greatest lower bound of two elements by computing it component-wise.

Specified by:

meet in interface Lattice

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(Lattice l)

join

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

Computes the least upper bound of two elements by computing it component-wise.

Specified by:

join in interface Lattice

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

the least upper bound of e1 and e2

See Also:

Domain.checkProperties(Lattice l)

main

public static void main(java.lang.String[] args)

Mini test environment.

Parameters:

args - a String[] value