org.latdraw.orderedset
Class OrderedSet

java.lang.Object
  org.latdraw.orderedset.OrderedSet

public class OrderedSet
extends java.lang.Object

Note: labels are allowed to be any Object, not just Strings.

Constructor Summary

OrderedSet(InputLattice in)

OrderedSet(java.lang.String name, java.util.List labels, java.util.List ucs)

Method Summary

int	card()
int	elemOrder(POElem elem)
boolean	geq(POElem x, POElem y)
POElem	getElement(java.lang.Object label)
java.lang.String	getName()
boolean	gt(POElem x, POElem y)
boolean	leq(POElem x, POElem y)
boolean	lt(POElem x, POElem y)
static void	main(java.lang.String[] args)
POElem	one()
static OrderedSet	orderedSetFromFilters(java.lang.String name, java.util.List labels, java.util.List filters) Construct an ordered set from its list of elems, which are Objects, and the filter for each label.
void	setName(java.lang.String n)
java.util.List	univ()
static java.util.List	upperCoversFromFilters(java.util.List labels, java.util.List filters) Find the upper covers of all the elements.
POElem	zero()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OrderedSet

public OrderedSet(java.lang.String name,
                  java.util.List labels,
                  java.util.List ucs)
           throws NonOrderedSetException

Throws:

NonOrderedSetException

OrderedSet

public OrderedSet(InputLattice in)
           throws NonOrderedSetException

Throws:

NonOrderedSetException

Method Detail

orderedSetFromFilters

public static OrderedSet orderedSetFromFilters(java.lang.String name,
                                               java.util.List labels,
                                               java.util.List filters)
                                        throws NonOrderedSetException

Construct an ordered set from its list of elems, which are Objects, and the filter for each label.

Parameters:

labels - a list of Object's representing the elements.

filters - a list of Collection's, in the same order as labels representing the corresponding filter.

Throws:

NonOrderedSetException

upperCoversFromFilters

public static java.util.List upperCoversFromFilters(java.util.List labels,
                                                    java.util.List filters)

Find the upper covers of all the elements. Labels must be topologically sorted for this to be correct.

See Also:

"Free Lattice by Freese, Jezek and Nation, Listing 11.8"

setName

public void setName(java.lang.String n)

getName

public java.lang.String getName()

card

public int card()

univ

public java.util.List univ()

one

public POElem one()

zero

public POElem zero()

getElement

public POElem getElement(java.lang.Object label)

elemOrder

public int elemOrder(POElem elem)

leq

public boolean leq(POElem x,
                   POElem y)

lt

public boolean lt(POElem x,
                  POElem y)

geq

public boolean geq(POElem x,
                   POElem y)

gt

public boolean gt(POElem x,
                  POElem y)

main

public static void main(java.lang.String[] args)
                 throws java.io.FileNotFoundException,
                        java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException