de.rwth.domains.templates
Class FunctionPOSet

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

All Implemented Interfaces:

POSet, Set

Direct Known Subclasses:

FunctionCompletePOSet

public class FunctionPOSet

extends FunctionSet

implements POSet

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

Version:

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

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

FunctionPOSet(Set domain, POSet range)
Create a function space from a domain and a range.

Method Summary

boolean	le(java.lang.Object f1, java.lang.Object f2) The method le checks if a function is less or equal than another function of this set.
boolean	lt(java.lang.Object f1, java.lang.Object f2) The method lt checks if a function is less than another function of this set.

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

equals, isElement, iterator, iteratorSkel, size, sizeSkel

Constructor Detail

FunctionPOSet

public FunctionPOSet(Set domain,
                     POSet range)

Create a function space from a domain and a range.

Parameters:

domain - a value of type Set

range - a value of type POSet

FunctionPOSet

public FunctionPOSet(Set[] domains,
                     POSet 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

lt

public boolean lt(java.lang.Object f1,
                  java.lang.Object f2)

The method lt checks if a function is less than another function of this set. This is done argument-wise.

Specified by:

lt in interface POSet

Parameters:

f1 - a value of type Object

f2 - a value of type Object

Returns:

true iff both f1 and f2 are functions in this set and for all x in the domain holds range.lt(f1(x),f2(x))

le

public boolean le(java.lang.Object f1,
                  java.lang.Object f2)

The method le checks if a function is less or equal than another function of this set. This is done argument-wise.

Specified by:

le in interface POSet

Parameters:

f1 - a value of type Object

f2 - a value of type Object

Returns:

true iff both f1 and f2 are functions in this set and for all x in the domain holds range.le(f1(x),f2(x))