de.rwth.domains.templates
Class FunctionCompletePOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.FunctionSet
        |
        +--de.rwth.domains.templates.FunctionPOSet
              |
              +--de.rwth.domains.templates.FunctionCompletePOSet

All Implemented Interfaces:

CompletePOSet, POSet, Set

public class FunctionCompletePOSet

extends FunctionPOSet

implements CompletePOSet

Class for the creation of complete partially ordered sets as set of functions with other finite (complete partially ordered) sets as range.

Version:

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

domain, range

Constructor Summary

FunctionCompletePOSet(CompletePOSet[] domains, CompletePOSet range)
Create a function space from an array of domains and a range.

FunctionCompletePOSet(Set[] domains, CompletePOSet range)
Create a function space from an array of domains and a range.

FunctionCompletePOSet(Set domain, CompletePOSet range)
Create a function space from a domain and a range.

Method Summary

java.lang.Object

bottom() Gets the least element of this CompletePOSet.

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

le, lt

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

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

FunctionCompletePOSet

public FunctionCompletePOSet(Set domain,
                             CompletePOSet range)

Create a function space from a domain and a range.

Parameters:

domain - a value of type Set

range - a value of type POSet

FunctionCompletePOSet

public FunctionCompletePOSet(Set[] domains,
                             CompletePOSet range)

Create a function space from an array of domains and a range.

Parameters:

domains - a value of type Set[]

range - a value of type POSet

FunctionCompletePOSet

public FunctionCompletePOSet(CompletePOSet[] domains,
                             CompletePOSet range)

Create a function space from an array of domains and a range.

Parameters:

domains - a value of type Set[]

range - a value of type POSet

Method Detail

bottom

public java.lang.Object bottom()

Description copied from interface: CompletePOSet

Gets the least element of this CompletePOSet.

Implementations should guarantee that bottom is indeed least element of this set, this is to say that isElement recognises the value returned by bottom and lt(bottom(),e)==true for all elements e.

Specified by:

bottom in interface CompletePOSet

Following copied from interface: de.rwth.domains.CompletePOSet

Returns:

the least element in this set

See Also:

Domain.checkProperties(CompletePOSet cposet)