de.rwth.domains.templates
Class IntegerPOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.SimpleSet
        |
        +--de.rwth.domains.templates.IntegerPOSet

All Implemented Interfaces:

POSet, Set

public class IntegerPOSet

extends SimpleSet

implements POSet

Class for the creation of intervals in the integers with natural order.

Version:

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

elements

Constructor Summary

IntegerPOSet(int from, int to)
Create an interval in the integers.

Method Summary

boolean	le(java.lang.Object e1, java.lang.Object e2) The method le checks if one element is less than an other element.
boolean	lt(java.lang.Object e1, java.lang.Object e2) The method lt checks if one element is less than an other element.

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

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

IntegerPOSet

public IntegerPOSet(int from,
                    int to)

Create an interval in the integers.

Parameters:

from - a value of type int

to - a value of type int

Method Detail

lt

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

The method lt checks if one element is less than an other element.

Specified by:

lt in interface POSet

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

true iff both e1 and e2 are Integer and first < second.

le

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

The method le checks if one element is less than an other element.

Specified by:

le in interface POSet

Parameters:

e1 - a value of type Object

e2 - a value of type Object

Returns:

true iff both e1 and e2 are SimpleElements encapsulating an Integer and first <= second.