de.rwth.domains.templates
Class DualPOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.DualPOSet

All Implemented Interfaces:

POSet, Set

public class DualPOSet

extends java.lang.Object

implements POSet

Create partially ordered sets as dual of existing ones: invert less-than relation.

Version:

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

Field Summary

protected POSet

poset The original partially ordered set.

Constructor Summary

DualPOSet(POSet poset)
Creates a new DualPOSet instance from an existing partially ordered set.

Method Summary

boolean	equals(java.lang.Object e1, java.lang.Object e2) Returns the same as the corresponding method of the constructor argument of this partially ordered set.
boolean	isElement(java.lang.Object e) Returns the same as the corresponding method of the constructor argument of this partially ordered set.
java.util.Iterator	iterator() Returns the same as the corresponding method of the constructor argument of this partially ordered set.
java.util.Iterator	iteratorSkel() Returns the same as the corresponding method of the constructor argument of this partially ordered set.
boolean	le(java.lang.Object e1, java.lang.Object e2) Reverses the argument order with respect to the corresponding method of the constructor argument of this partially ordered set.
boolean	lt(java.lang.Object e1, java.lang.Object e2) Reverses the argument order with respect to the corresponding method of the constructor argument of this partially ordered set.
long	size() Returns the same as the corresponding method of the constructor argument of this partially ordered set.
long	sizeSkel() Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Methods inherited from class java.lang.Object

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

Field Detail

poset

protected POSet poset

The original partially ordered set.

Constructor Detail

DualPOSet

public DualPOSet(POSet poset)

Creates a new DualPOSet instance from an existing partially ordered set.

Parameters:

poset - a POSet value

Method Detail

equals

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

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

equals in interface Set

Parameters:

e1 - an Object value

e2 - an Object value

Returns:

a boolean value

isElement

public boolean isElement(java.lang.Object e)

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

isElement in interface Set

Parameters:

e - an Object value

Returns:

a boolean value

iterator

public java.util.Iterator iterator()

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

iterator in interface Set

Returns:

an Iterator value

size

public long size()

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

size in interface Set

Returns:

a long value

iteratorSkel

public java.util.Iterator iteratorSkel()

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

iteratorSkel in interface Set

Returns:

an Iterator value

sizeSkel

public long sizeSkel()

Returns the same as the corresponding method of the constructor argument of this partially ordered set.

Specified by:

sizeSkel in interface Set

Returns:

a long value

lt

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

Reverses the argument order with respect to the corresponding method of the constructor argument of this partially ordered set.

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)

Reverses the argument order with respect to the corresponding method of the constructor argument of this partially ordered set.

Specified by:

le in interface POSet

Parameters:

e1 - an Object value

e2 - an Object value

Returns:

a boolean value