org.latdraw.orderedset
Class ChainDecomposition

java.lang.Object
  org.latdraw.orderedset.ChainDecomposition

public class ChainDecomposition
extends java.lang.Object

Constructor Summary

ChainDecomposition(OrderedSet poset)
This is the incomplete chain decomposition given by Listing 11.6 in my Free Lattice book.

Method Summary

int	chainNum(POElem x)
java.util.HashMap	getHashMap()
int	numChains()

Methods inherited from class java.lang.Object

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

Constructor Detail

ChainDecomposition

public ChainDecomposition(OrderedSet poset)

This is the incomplete chain decomposition given by Listing 11.6 in my Free Lattice book.

See Also:

"Free Lattices, by Freesem, Jezek, and Nation"

Method Detail

numChains

public int numChains()

getHashMap

public java.util.HashMap getHashMap()

chainNum

public int chainNum(POElem x)