|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface SmallLattice
| 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 |
|---|
int[] upperCoversIndices(int index)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||