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

Modifier and Type	Method and Description
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, updateSimilarityType

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.