de.rwth.domains.templates
Class TupleCompletePOSet

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

All Implemented Interfaces:

CompletePOSet, POSet, Set

public class TupleCompletePOSet

extends TuplePOSet

implements CompletePOSet

Class for the creation of complete partially ordered sets as tuple from other complete partially ordered sets.

Version:

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

TupleCompletePOSet(CompletePOSet[] cposets)
Creates a TupleCompletePOSet from an array of CompletePOSets.

TupleCompletePOSet(CompletePOSet cposet1, CompletePOSet cposet2)
Creates a TupleCompletePOSet from two CompletePOSets.

Method Summary

java.lang.Object

bottom() The method bottom gets the least element of this TupleCompletePOSet which is the tuple of the least elements of the component sets.

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, main, 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

TupleCompletePOSet

public TupleCompletePOSet(CompletePOSet[] cposets)

Creates a TupleCompletePOSet from an array of CompletePOSets.

Parameters:

cposets - the component CompletePOSet

TupleCompletePOSet

public TupleCompletePOSet(CompletePOSet cposet1,
                          CompletePOSet cposet2)

Creates a TupleCompletePOSet from two CompletePOSets.

Parameters:

cposet1 - 1st component Set

cposet2 - 2nd component Set

Method Detail

bottom

public java.lang.Object bottom()

The method bottom gets the least element of this TupleCompletePOSet which is the tuple of the least elements of the component sets.

Specified by:

bottom in interface CompletePOSet

Returns:

the least element in this set