org.latdraw.orderedset
Class POElem

java.lang.Object
  org.latdraw.orderedset.POElem

public class POElem
extends java.lang.Object

this class represents elements of an ordered set.

Version:

$Id: POElem.java,v 1.3 2008/07/15 22:49:22 ralph Exp $

Constructor Summary

POElem(java.lang.Object underlyingObject, OrderedSet poset)
Construct an element based on an arbitrary object.

Method Summary

java.util.List	filter()
java.lang.Object	getUnderlyingObject()
java.util.List	highIncomparables()
java.util.List	ideal()
int	index() The index in the linear extension.
boolean	isJoinIrreducible() Returns true iff it has exactly one lower cover.
boolean	isMeetIrreducible() Returns true iff it has exactly one upper cover.
java.lang.String	label()
java.util.List	lowerCovers()
OrderedSet	orderedSet()
int	rank()
void	setFilter(java.util.List v)
void	setHighIncomparables(java.util.List v)
void	setIdeal(java.util.List v)
void	setLowerCovers(java.util.List v)
void	setRank(int v)
void	setUpperCovers(java.util.List v)
java.lang.String	toString()
java.util.List	upperCovers()
double	xCoord()
double	yCoord()

Methods inherited from class java.lang.Object

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

Constructor Detail

POElem

public POElem(java.lang.Object underlyingObject,
              OrderedSet poset)

Construct an element based on an arbitrary object. Using an arbitrary object essentially as a label rather than a String allows the diagram to easily interface with other programs.

Method Detail

getUnderlyingObject

public java.lang.Object getUnderlyingObject()

label

public java.lang.String label()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

upperCovers

public java.util.List upperCovers()

setUpperCovers

public void setUpperCovers(java.util.List v)

lowerCovers

public java.util.List lowerCovers()

setLowerCovers

public void setLowerCovers(java.util.List v)

xCoord

public double xCoord()

yCoord

public double yCoord()

orderedSet

public OrderedSet orderedSet()

filter

public java.util.List filter()

setFilter

public void setFilter(java.util.List v)

ideal

public java.util.List ideal()

index

public int index()

The index in the linear extension.

setIdeal

public void setIdeal(java.util.List v)

highIncomparables

public java.util.List highIncomparables()

isJoinIrreducible

public boolean isJoinIrreducible()

Returns true iff it has exactly one lower cover. So this is really a test for complete join irreducibility.

isMeetIrreducible

public boolean isMeetIrreducible()

Returns true iff it has exactly one upper cover. So this is really a test for complete meet irreducibility.

setHighIncomparables

public void setHighIncomparables(java.util.List v)

rank

public int rank()

setRank

public void setRank(int v)