de.rwth.domains.templates
Class SumPOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.SumSet
        |
        +--de.rwth.domains.templates.SumPOSet

All Implemented Interfaces:

POSet, Set

public class SumPOSet

extends SumSet

implements POSet

Class for creating partially ordered sets as the sum of partially ordered sets.

Version:

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

sets, size, sizeSkel

Constructor Summary

SumPOSet(POSet[] posets)
Creates a new SumPOSet instance from an array of components.

SumPOSet(POSet poset1, POSet poset2)
Creates a new SumPOSet instance from two components.

Method Summary

boolean	le(java.lang.Object e1, java.lang.Object e2) Returns true, if the relation holds in at least one component.
boolean	lt(java.lang.Object e1, java.lang.Object e2) Returns true, if the relation holds in at least one component.

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

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

SumPOSet

public SumPOSet(POSet[] posets)

Creates a new SumPOSet instance from an array of components.

Parameters:

posets - a POSet[] value

SumPOSet

public SumPOSet(POSet poset1,
                POSet poset2)

Creates a new SumPOSet instance from two components.

Parameters:

poset1 - a POSet value

poset2 - a POSet value

Method Detail

lt

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

Returns true, if the relation holds in at least one component.

Specified by:

lt in interface POSet

Parameters:

e1 - an Object value

e2 - an Object value

Returns:

a boolean value

le

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

Returns true, if the relation holds in at least one component.

Specified by:

le in interface POSet

Parameters:

e1 - an Object value

e2 - an Object value

Returns:

a boolean value