de.rwth.domains.templates
Class StackPOSet

java.lang.Object
  |
  +--de.rwth.domains.templates.StackSet
        |
        +--de.rwth.domains.templates.StackPOSet

All Implemented Interfaces:

POSet, Set

Direct Known Subclasses:

StackPreLattice

public class StackPOSet

extends StackSet

implements POSet

Class for (maybe infinite) partially ordered sets which consists of stacks of elements from a set.

Version:

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

maxSize, set, size, sizeSkel, skelMaxSize, SKELMAXSIZE

Constructor Summary

StackPOSet(POSet poset)
Creates a new StackPOSet instance with unlimited stack size and skeleton stack size SKELMAXSIZE.

StackPOSet(POSet poset, int maxSize)
Creates a new StackPOSet instance with maximal stack size.

Method Summary

boolean	le(java.lang.Object e1, java.lang.Object e2) Returns true if both elements are stacks of the same height and corresponding entries are in the le() relation of the underlying partially ordered set.
boolean	lt(java.lang.Object e1, java.lang.Object e2) Returns true if both elements are stacks of the same height, corresponding entries are in the le() relation of the underlying partially ordered set, and at least one pair of corresponding entries are in the lt() relation.
static void	main(java.lang.String[] args) Mini test environment.

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

computeSize, 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

StackPOSet

public StackPOSet(POSet poset)

Creates a new StackPOSet instance with unlimited stack size and skeleton stack size SKELMAXSIZE.

Parameters:

poset - a POSet value

StackPOSet

public StackPOSet(POSet poset,
                  int maxSize)

Creates a new StackPOSet instance with maximal stack size.

Parameters:

poset - a POSet value

maxSize - an int value

Method Detail

lt

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

Returns true if both elements are stacks of the same height, corresponding entries are in the le() relation of the underlying partially ordered set, and at least one pair of corresponding entries are in the lt() relation.

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)

Returns true if both elements are stacks of the same height and corresponding entries are in the le() relation of the underlying partially ordered set.

Specified by:

le in interface POSet

Parameters:

e1 - an Object value

e2 - an Object value

Returns:

a boolean value

main

public static void main(java.lang.String[] args)

Mini test environment.

Parameters:

args - a String[] value