org.uacalc.lat
Class Lattices

java.lang.Object
  org.uacalc.lat.Lattices

public class Lattices
extends java.lang.Object

Method Summary

SmallLattice	conToSmallLattice(CongruenceLattice con)
static BasicLattice	dual(BasicLattice lat)
static BasicLattice	latticeFromJoin(java.lang.String name, java.util.List univ, Operation join) These older versions where trying to display the elements but were having problems.
static BasicLattice	latticeFromJoin(java.lang.String name, Operation join) Make a lattice from a join operation using Integers for labels.
static BasicLattice	latticeFromMeet(java.lang.String name, java.util.List univ, Operation meet) These older versions where trying to display the elements but were having problems.
static BasicLattice	latticeFromMeet(java.lang.String name, Operation meet) Make a lattice from a meet operation using Integers for labels.

Methods inherited from class java.lang.Object

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

Method Detail

conToSmallLattice

public SmallLattice conToSmallLattice(CongruenceLattice con)

latticeFromMeet

public static BasicLattice latticeFromMeet(java.lang.String name,
                                           Operation meet)

Make a lattice from a meet operation using Integers for labels.

Parameters:

name -

meet - a semilattice operations viewed as a meet

Returns:

a BasicLattice mainly for drawing

latticeFromJoin

public static BasicLattice latticeFromJoin(java.lang.String name,
                                           Operation join)

Make a lattice from a join operation using Integers for labels.

Parameters:

name -

join - a semilattice operations viewed as a join

Returns:

latticeFromMeet

public static BasicLattice latticeFromMeet(java.lang.String name,
                                           java.util.List univ,
                                           Operation meet)

These older versions where trying to display the elements but were having problems.

Parameters:

name -

univ -

meet -

Returns:

latticeFromJoin

public static BasicLattice latticeFromJoin(java.lang.String name,
                                           java.util.List univ,
                                           Operation join)

These older versions where trying to display the elements but were having problems.

Parameters:

name -

univ -

meet -

Returns:

dual

public static BasicLattice dual(BasicLattice lat)