A B C D E F G H I J L M N O P R S T U V Z

A

AbstractDistributiveLattice - Class in it.unimi.dsi.lama4j

An abstract extension of AbstractLattice that returns true upon calls to Lattice.isDistributive().

AbstractDistributiveLattice() - Constructor for class it.unimi.dsi.lama4j.AbstractDistributiveLattice

AbstractElement - Class in it.unimi.dsi.lama4j

An abstract implementation of Element providing most operations by delegation to the containing lattice.

AbstractElement(Lattice) - Constructor for class it.unimi.dsi.lama4j.AbstractElement

Create a new abstract element, initialising its containing lattice.

AbstractLattice - Class in it.unimi.dsi.lama4j

An abstract implementation of Lattice providing obvious implementations of order-related operators and an implementation of AbstractLattice.elements() based on exhaustive generation.

AbstractLattice() - Constructor for class it.unimi.dsi.lama4j.AbstractLattice

B

Boolean - Class in it.unimi.dsi.lama4j

The Boolean distributive lattice.

Boolean() - Constructor for class it.unimi.dsi.lama4j.Boolean

C

Chain - Class in it.unimi.dsi.lama4j

A chain (a.k.a. linearly ordered) distributive lattice.

Chain(int, String...) - Constructor for class it.unimi.dsi.lama4j.Chain

Create a chain with the given number of elements, naming elements with the given strings.

Chain(int) - Constructor for class it.unimi.dsi.lama4j.Chain

Create a chain with the given number of elements.

comp(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Check whether two elements are comparable using Lattice.meet(Element[]).

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Chain

comp(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return whether this element is comparable with the provided element.

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Flat

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Return whether the two provided elements are comparable.

comp(Element, Element) - Method in interface it.unimi.dsi.lama4j.Lattice

Return whether the two provided elements are comparable.

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Op

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Product

comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Sum

component(int) - Method in class it.unimi.dsi.lama4j.Product

Return a component lattice, given its index.

contains(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the antichain formed by the intervals of this element that contain an interval of a given element.

coveringRelation() - Method in class it.unimi.dsi.lama4j.AbstractLattice

Return the covering relation of this lattice.

coveringRelation() - Method in interface it.unimi.dsi.lama4j.Lattice

Return the covering relation of this lattice.

coveringRelation() - Method in class it.unimi.dsi.lama4j.Op

Compute the covering relation by transposing the covering relation of the dualised lattice.

D

DEBUG - Static variable in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

doesNotContain(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

An alias for IntervalAntichains.Antichain.psdiff(Element).

E

Element - Interface in it.unimi.dsi.lama4j

An element of a lattice.

ElementLatticeMismatchException - Exception in it.unimi.dsi.lama4j

An exception suggesting that an operation was being performed upon elements that did not match the lattice performing the operation.

ElementLatticeMismatchException(String) - Constructor for exception it.unimi.dsi.lama4j.ElementLatticeMismatchException

ElementLatticeMismatchException(Element, Lattice) - Constructor for exception it.unimi.dsi.lama4j.ElementLatticeMismatchException

ElementNameException - Exception in it.unimi.dsi.lama4j

An exception suggesting that a lattice does not contain an element with a certain name.

ElementNameException(String) - Constructor for exception it.unimi.dsi.lama4j.ElementNameException

ElementNameException(String, Lattice) - Constructor for exception it.unimi.dsi.lama4j.ElementNameException

elements() - Method in class it.unimi.dsi.lama4j.AbstractLattice

Generate iteratively all elements of this lattice.

elements() - Method in class it.unimi.dsi.lama4j.Chain

elements() - Method in class it.unimi.dsi.lama4j.Flat

elements() - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Generate iteratively all elements of this lattice.

elements() - Method in interface it.unimi.dsi.lama4j.Lattice

Return all elements of this lattice (optional operation).

elements() - Method in class it.unimi.dsi.lama4j.Op

elements() - Method in class it.unimi.dsi.lama4j.Product

elements() - Method in class it.unimi.dsi.lama4j.Sum

ensureElementsInLattice(Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Ensure that the provided element belong to this lattice, throwing an ElementLatticeMismatchException otherwise.

ensureElementsInLattice(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Ensure that the provided elements belong to this lattice, throwing an ElementLatticeMismatchException otherwise.

ensureElementsInLattice(Element...) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Ensure that the provided elements belong to this lattice, throwing an ElementLatticeMismatchException otherwise.

equals(Object) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

equals(Object) - Method in class it.unimi.dsi.lama4j.NamedElement

F

Flat - Class in it.unimi.dsi.lama4j

A flat lattice: all elements are incomparable except for zero and one.

Flat(int, String...) - Constructor for class it.unimi.dsi.lama4j.Flat

Create a flat lattice with named elements.

Flat(int) - Constructor for class it.unimi.dsi.lama4j.Flat

Create a flat lattice.

G

generateDot(Lattice, Map<Element, Set<Element>>, PrintWriter, boolean) - Static method in class it.unimi.dsi.lama4j.Lattices

Output Graphviz code for the covering relation of a lattice.

generators() - Method in class it.unimi.dsi.lama4j.Boolean

generators() - Method in class it.unimi.dsi.lama4j.Chain

generators() - Method in class it.unimi.dsi.lama4j.Flat

generators() - Method in class it.unimi.dsi.lama4j.IntervalAntichains

generators() - Method in interface it.unimi.dsi.lama4j.Lattice

Return a collection of generators for the lattice.

generators() - Method in class it.unimi.dsi.lama4j.Op

generators() - Method in class it.unimi.dsi.lama4j.Parts

generators() - Method in class it.unimi.dsi.lama4j.Product

generators() - Method in class it.unimi.dsi.lama4j.Sum

generators() - Method in class it.unimi.dsi.lama4j.Trivial

H

hashCode() - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

hashCode() - Method in class it.unimi.dsi.lama4j.NamedElement

I

incomparable(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the antichain formed by the intervals of this element that are incomparable with all intervals of a given element.

inj(int, Element) - Method in class it.unimi.dsi.lama4j.Sum

Inject an element of a summand into this sum.

interval - Variable in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

IntervalAntichains - Class in it.unimi.dsi.lama4j

The distributive lattice of antichains of intervals of a linear finite order.

IntervalAntichains(int) - Constructor for class it.unimi.dsi.lama4j.IntervalAntichains

IntervalAntichains.Antichain - Class in it.unimi.dsi.lama4j

A class representing elements of this lattice (antichains of intervals).

isContained(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the antichain formed by the intervals of this element that are contained in some interval of a given element.

isDistributive() - Method in class it.unimi.dsi.lama4j.AbstractDistributiveLattice

isDistributive() - Method in class it.unimi.dsi.lama4j.AbstractLattice

isDistributive() - Method in class it.unimi.dsi.lama4j.Flat

isDistributive() - Method in interface it.unimi.dsi.lama4j.Lattice

Return true if this lattice is distributive.

isDistributive() - Method in class it.unimi.dsi.lama4j.Op

isDistributive() - Method in class it.unimi.dsi.lama4j.Product

isNotContained(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the antichain formed by the intervals of this element that are not contained in an interval of a given element.

it.unimi.dsi.lama4j - package it.unimi.dsi.lama4j

J

join(Element...) - Method in class it.unimi.dsi.lama4j.AbstractElement

join(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

join(Element...) - Method in class it.unimi.dsi.lama4j.Boolean

join(Element...) - Method in class it.unimi.dsi.lama4j.Chain

join(Element...) - Method in interface it.unimi.dsi.lama4j.Element

Return the join of this element and of the provided elements.

join(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return the join of this element and of the provided element.

join(Element...) - Method in class it.unimi.dsi.lama4j.Flat

join(Element...) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

join(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

join(Element...) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

join(Element...) - Method in interface it.unimi.dsi.lama4j.Lattice

Return the join of the provided elements.

join(Element...) - Method in class it.unimi.dsi.lama4j.Op

join(Element...) - Method in class it.unimi.dsi.lama4j.Parts

join(Element...) - Method in class it.unimi.dsi.lama4j.Product

join(Element...) - Method in class it.unimi.dsi.lama4j.Sum

join(Element...) - Method in class it.unimi.dsi.lama4j.Trivial

L

lattice - Variable in class it.unimi.dsi.lama4j.AbstractElement

The containing lattice.

lattice() - Method in class it.unimi.dsi.lama4j.AbstractElement

lattice() - Method in interface it.unimi.dsi.lama4j.Element

Return the lattice containing this element.

lattice() - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Lattice - Interface in it.unimi.dsi.lama4j

A lattice with zero and one (sometimes called a bounded lattice).

Lattices - Class in it.unimi.dsi.lama4j

leq(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Check whether an element is smaller than or equal to another element using Lattice.meet(Element[]).

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.Chain

leq(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return whether this element is less than or equal to the provided element in the order of the containing lattice.

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.Flat

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Return whether an element is less than or equal to another element in the natural order of this lattice.

leq(Element, Element) - Method in interface it.unimi.dsi.lama4j.Lattice

Return whether an element is less than or equal to another element in the natural order of this lattice.

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.Op

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.Product

leq(Element, Element) - Method in class it.unimi.dsi.lama4j.Sum

M

meet(Element...) - Method in class it.unimi.dsi.lama4j.AbstractElement

meet(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

meet(Element...) - Method in class it.unimi.dsi.lama4j.Boolean

meet(Element...) - Method in class it.unimi.dsi.lama4j.Chain

meet(Element...) - Method in interface it.unimi.dsi.lama4j.Element

Return the meet of this element and of the provided elements.

meet(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return the meet of this element and of the provided element.

meet(Element...) - Method in class it.unimi.dsi.lama4j.Flat

meet(Element...) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

meet(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

meet(Element...) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

meet(Element...) - Method in interface it.unimi.dsi.lama4j.Lattice

Return the meet of the provided elements.

meet(Element...) - Method in class it.unimi.dsi.lama4j.Op

meet(Element...) - Method in class it.unimi.dsi.lama4j.Parts

meet(Element...) - Method in class it.unimi.dsi.lama4j.Product

meet(Element...) - Method in class it.unimi.dsi.lama4j.Sum

meet(Element...) - Method in class it.unimi.dsi.lama4j.Trivial

N

n - Variable in class it.unimi.dsi.lama4j.IntervalAntichains

Number of elements used to generate intervals.

name - Variable in class it.unimi.dsi.lama4j.NamedElement

The name of this element.

NamedElement - Class in it.unimi.dsi.lama4j

An extension of AbstractElement the associates a name with the element.

NamedElement(Lattice, String) - Constructor for class it.unimi.dsi.lama4j.NamedElement

Create a new abstract element, initialising its containing lattice and its NamedElement.name.

O

of(Lattice...) - Static method in class it.unimi.dsi.lama4j.Product

Return the product of the provided lattices.

of(Lattice...) - Static method in class it.unimi.dsi.lama4j.Sum

Return the sum of the given distributive lattices.

of(Lattice[], String[]) - Static method in class it.unimi.dsi.lama4j.Sum

Return the sum of the given distributive lattices, giving them specified names.

one() - Method in class it.unimi.dsi.lama4j.Boolean

one() - Method in class it.unimi.dsi.lama4j.Chain

one() - Method in class it.unimi.dsi.lama4j.Flat

one() - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Return a singleton representing the zero of this lattice (the antichain formed by the empty interval).

one() - Method in interface it.unimi.dsi.lama4j.Lattice

Return the one of this lattice.

one() - Method in class it.unimi.dsi.lama4j.Op

one() - Method in class it.unimi.dsi.lama4j.Parts

one() - Method in class it.unimi.dsi.lama4j.Product

one() - Method in class it.unimi.dsi.lama4j.Sum

one() - Method in class it.unimi.dsi.lama4j.Trivial

Op - Class in it.unimi.dsi.lama4j

The opposite (a.k.a.

Op(Lattice) - Constructor for class it.unimi.dsi.lama4j.Op

P

Parts - Class in it.unimi.dsi.lama4j

The distributive lattice of subsets of an initial segment of the natural numbers.

Parts(int) - Constructor for class it.unimi.dsi.lama4j.Parts

Product - Class in it.unimi.dsi.lama4j

The (categorical) product of lattices.

proj(Element, int) - Method in class it.unimi.dsi.lama4j.Product

Project the provided element on a component specified by index.

pscomp(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

pscomp(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Enumerate all elements of this lattice to compute explicitly the pseudocomplement using the definition given in Lattice.pscomp(Element, Element).

pscomp(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return the pseudocomplement of this element relative to another element (optional operation).

pscomp(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

pscomp(Element, Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

pscomp(Element, Element) - Method in interface it.unimi.dsi.lama4j.Lattice

Return the pseudocomplement of the first element relative to the second element (optional operation).

pscomp(Element, Element) - Method in class it.unimi.dsi.lama4j.Op

pscomp(Element, Element) - Method in class it.unimi.dsi.lama4j.Parts

Compute the set implication of two elements.

psdiff(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

psdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Enumerate all elements of this lattice to compute explicitly the difference using the definition given in Lattice.psdiff(Element, Element).

psdiff(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return the difference of this element with another element (optional operation).

psdiff(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

psdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Return an antichain equal to the first element from which all intervals containing some interval of the second element have been eliminated.

psdiff(Element, Element) - Method in interface it.unimi.dsi.lama4j.Lattice

Return the Brouwerian pseudo-difference of two elements (optional operation).

psdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.Op

psdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.Parts

Compute the pseudo-difference of two elements.

R

rank() - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the rank of this element.

RING - Static variable in interface it.unimi.dsi.lama4j.Lattice

Use ring notation (+ and * instead of | and &) in all output.

S

setIntersection(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

Return the set intersection of this element with another element.

Sum - Class in it.unimi.dsi.lama4j

The (categorical) sum (a.k.a. free direct product) of distributive lattices.

symdiff(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement

symdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice

Return the symmetric difference of the arguments, that is, psdiff(x,y).join(psdiff(y,x)).

symdiff(Element) - Method in interface it.unimi.dsi.lama4j.Element

Return the symmetric difference between this element and another element (optional operation).

symdiff(Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

symdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

symdiff(Element, Element) - Method in interface it.unimi.dsi.lama4j.Lattice

Return the symmetric difference of the arguments, that is, psdiff(x,y).join(psdiff(y,x)).

symdiff(Element, Element) - Method in class it.unimi.dsi.lama4j.Op

T

toString() - Method in class it.unimi.dsi.lama4j.Boolean

toString() - Method in class it.unimi.dsi.lama4j.Chain

toString() - Method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

toString() - Method in class it.unimi.dsi.lama4j.NamedElement

toString() - Method in class it.unimi.dsi.lama4j.Parts

toString() - Method in class it.unimi.dsi.lama4j.Product

toString() - Method in class it.unimi.dsi.lama4j.Sum

toString() - Method in class it.unimi.dsi.lama4j.Trivial

Trivial - Class in it.unimi.dsi.lama4j

The trivial distributive lattice of just one element.

Trivial() - Constructor for class it.unimi.dsi.lama4j.Trivial

tuple(Element...) - Method in class it.unimi.dsi.lama4j.Product

Return an element of this product given a tuple of elements from its factors.

U

UTF8 - Static variable in interface it.unimi.dsi.lama4j.Lattice

Use UTF-8 symbols for operators in all outputs.

V

valueOf(String) - Method in class it.unimi.dsi.lama4j.Boolean

valueOf(String) - Method in class it.unimi.dsi.lama4j.Chain

valueOf(int) - Method in class it.unimi.dsi.lama4j.Chain

Return the element of this chain of given ordinal position.

valueOf(String) - Method in class it.unimi.dsi.lama4j.Flat

valueOf(int) - Method in class it.unimi.dsi.lama4j.Flat

valueOf(IntervalAntichains, ObjectArrayList<Interval>) - Static method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

valueOf(IntervalAntichains, int, Interval...) - Static method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

valueOf(IntervalAntichains, Interval...) - Static method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain

valueOf(String) - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Parse an antichain, returning the corresponding element.

valueOf(String) - Method in interface it.unimi.dsi.lama4j.Lattice

Return an element of this lattice, given its name.

valueOf(String) - Method in class it.unimi.dsi.lama4j.Op

Return a dualised element by name.

valueOf(String) - Method in class it.unimi.dsi.lama4j.Parts

valueOf(int...) - Method in class it.unimi.dsi.lama4j.Parts

Return an element of this lattice corresponding to the specified subset.

valueOf(String) - Method in class it.unimi.dsi.lama4j.Product

valueOf(String) - Method in class it.unimi.dsi.lama4j.Sum

valueOf(String) - Method in class it.unimi.dsi.lama4j.Trivial

valueOfZeroOrOne(String) - Method in class it.unimi.dsi.lama4j.AbstractLattice

A simple support method to make it easy to parse zero and one.

Z

zero() - Method in class it.unimi.dsi.lama4j.Boolean

zero() - Method in class it.unimi.dsi.lama4j.Chain

zero() - Method in class it.unimi.dsi.lama4j.Flat

zero() - Method in class it.unimi.dsi.lama4j.IntervalAntichains

Return a singleton representing the zero of this lattice (the empty antichain).

zero() - Method in interface it.unimi.dsi.lama4j.Lattice

Return the zero of this lattice.

zero() - Method in class it.unimi.dsi.lama4j.Op

zero() - Method in class it.unimi.dsi.lama4j.Parts

zero() - Method in class it.unimi.dsi.lama4j.Product

zero() - Method in class it.unimi.dsi.lama4j.Sum

zero() - Method in class it.unimi.dsi.lama4j.Trivial

A B C D E F G H I J L M N O P R S T U V Z