de.rwth.domains.templates
Class LiftedCompletePOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.LiftedPOSet
        |
        +--de.rwth.domains.templates.LiftedCompletePOSet

All Implemented Interfaces:

CompletePOSet, POSet, Set

public class LiftedCompletePOSet

extends LiftedPOSet

implements CompletePOSet

Class for the creation of lifted complete partially ordered sets, which are partially ordered sets with an unique additional least element and which are complete after this addition.

Version:

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

bottom, poset

Constructor Summary

LiftedCompletePOSet(POSet poset)
Lifts an existing partially ordered set by adding a new unique least element.

Method Summary

java.lang.Object

bottom() The method bottom gets the least element of this CompletePOSet, which is the unique new bottom element of this lifted partially ordered set.

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

equals, isElement, iterator, iteratorSkel, le, lt, 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

LiftedCompletePOSet

public LiftedCompletePOSet(POSet poset)

Lifts an existing partially ordered set by adding a new unique least element.
There is no check if the resulting structure fulfills the specified constraints!

Parameters:

poset - the partially ordered set to be lifted

Method Detail

bottom

public java.lang.Object bottom()

The method bottom gets the least element of this CompletePOSet, which is the unique new bottom element of this lifted partially ordered set.

Specified by:

bottom in interface CompletePOSet

Returns:

the least element in this set