org.uacalc.lat
Interface SmallLattice

All Superinterfaces:

Algebra, Lattice, Order

public interface SmallLattice
extends Lattice

Field Summary

Fields inherited from interface org.uacalc.alg.Algebra

CARDINALITY_COUNTABLE, CARDINALITY_COUNTABLY_INFINITE, CARDINALITY_FINITE, CARDINALITY_INFINITE, CARDINALITY_UNKNOWN

Method Summary

int[]

upperCoversIndices(int index) The indices of the upper covers of the element whose index is index.

Methods inherited from interface org.uacalc.lat.Lattice

atoms, coatoms, join, join, joinIrreducibles, meet, meet, meetIrreducibles

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

upperCoversIndices

int[] upperCoversIndices(int index)

The indices of the upper covers of the element whose index is index.