de.rwth.domains.templates
Class TuplePOSet

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

All Implemented Interfaces:

POSet, Set

Direct Known Subclasses:

TupleCompletePOSet, TupleLattice

public class TuplePOSet

extends TupleSet

implements POSet

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

Version:

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

TuplePOSet(POSet[] posets)
Creates a TuplePOSet from an array of POSets.

TuplePOSet(POSet poset1, POSet poset2)
Creates a TuplePOSet from two POSets.

Method Summary

boolean	le(java.lang.Object e1, java.lang.Object e2) Checks if one element is less than or equal than an other element.
boolean	lt(java.lang.Object e1, java.lang.Object e2) Checks if one element is less than an other element.

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

equals, isElement, iterator, iteratorSkel, size, sizeSkel

Constructor Detail

TuplePOSet

public TuplePOSet(POSet[] posets)

Creates a TuplePOSet from an array of POSets.

Parameters:

posets - the component POSet

TuplePOSet

public TuplePOSet(POSet poset1,
                  POSet poset2)

Creates a TuplePOSet from two POSets.

Parameters:

poset1 - 1st component Set

poset2 - 2nd component Set

Method Detail

lt

public boolean lt(java.lang.Object e1,
                  java.lang.Object e2)

Checks if one element is less than an other element.

Specified by:

lt in interface POSet

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

true iff both e1 and e2 are TupleElements of matching length and the components of e1 are less or equals than the corresponding components of e2.

le

public boolean le(java.lang.Object e1,
                  java.lang.Object e2)

Checks if one element is less than or equal than an other element.

Specified by:

le in interface POSet

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

true iff both e1 and e2 are TupleElements of matching length and the components of e1 are less than the corresponding components of e2.