org.uacalc.lat
Interface Lattice

All Superinterfaces:

Algebra, Order

All Known Subinterfaces:

SmallLattice

All Known Implementing Classes:

BasicLattice, CongruenceLattice, SubalgebraLattice

public interface Lattice
extends Algebra, Order

Field Summary

Fields inherited from interface org.uacalc.alg.Algebra

CARDINALITY_COUNTABLE, CARDINALITY_COUNTABLY_INFINITE, CARDINALITY_FINITE, CARDINALITY_INFINITE, CARDINALITY_UNKNOWN

Method Summary

java.util.List<? extends java.lang.Object>	atoms()
java.util.List<? extends java.lang.Object>	coatoms()
java.lang.Object	join(java.util.List args)
java.lang.Object	join(java.lang.Object a, java.lang.Object b)
java.util.List<? extends java.lang.Object>	joinIrreducibles() An optional operation returning the list of join irreducible elements.
java.lang.Object	meet(java.util.List args)
java.lang.Object	meet(java.lang.Object a, java.lang.Object b)
java.util.List<? extends java.lang.Object>	meetIrreducibles() An optional operation returning the list of meet irreducible elements.

Methods inherited from interface org.uacalc.alg.Algebra

cardinality, constantOperations, getDescription, getMonitor, getName, getOperation, getOperationsMap, inputSize, isIdempotent, isSimilarTo, isTotal, isUnary, iterator, makeOperationTables, monitoring, operations, setDescription, setMonitor, setName, similarityType, universe

Methods inherited from interface org.uacalc.lat.Order

leq

Method Detail

joinIrreducibles

java.util.List<? extends java.lang.Object> joinIrreducibles()

An optional operation returning the list of join irreducible elements.

meetIrreducibles

java.util.List<? extends java.lang.Object> meetIrreducibles()

An optional operation returning the list of meet irreducible elements.

atoms

java.util.List<? extends java.lang.Object> atoms()

coatoms

java.util.List<? extends java.lang.Object> coatoms()

join

java.lang.Object join(java.lang.Object a,
                      java.lang.Object b)

join

java.lang.Object join(java.util.List args)

meet

java.lang.Object meet(java.lang.Object a,
                      java.lang.Object b)

meet

java.lang.Object meet(java.util.List args)