org.latdraw.orderedset
Class ChainDecomposition

java.lang.Object
  extended by 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)


Copyright 2003 Ralph Freese. All Rights Reserved.