public class Lattices
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
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.
|
public SmallLattice conToSmallLattice(CongruenceLattice con)
public static BasicLattice latticeFromMeet(java.lang.String name, Operation meet)
name
- meet
- a semilattice operations viewed as a meetpublic static BasicLattice latticeFromJoin(java.lang.String name, Operation join)
name
- join
- a semilattice operations viewed as a joinpublic static BasicLattice latticeFromMeet(java.lang.String name, java.util.List univ, Operation meet)
name
- univ
- meet
- public static BasicLattice latticeFromJoin(java.lang.String name, java.util.List univ, Operation join)
name
- univ
- meet
- public static BasicLattice dual(BasicLattice lat)
Copyright 2003 Ralph Freese. All Rights Reserved.