Index
A B C D E F G H I J L M N O P R S T U V Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
A
- AbstractDistributiveLattice - Class in it.unimi.dsi.lama4j
-
An abstract extension of
AbstractLatticethat returns true upon calls toLattice.isDistributive(). - AbstractDistributiveLattice() - Constructor for class it.unimi.dsi.lama4j.AbstractDistributiveLattice
- AbstractElement - Class in it.unimi.dsi.lama4j
-
An abstract implementation of
Elementproviding 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
Latticeproviding obvious implementations of order-related operators and an implementation ofAbstractLattice.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) - Constructor for class it.unimi.dsi.lama4j.Chain
-
Create a chain with the given number of elements.
- 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.
- comp(Element) - Method in class it.unimi.dsi.lama4j.AbstractElement
- 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.AbstractLattice
-
Check whether two elements are comparable using
Lattice.meet(Element[]). - comp(Element, Element) - Method in class it.unimi.dsi.lama4j.Chain
- 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(Element, Lattice) - Constructor for exception it.unimi.dsi.lama4j.ElementLatticeMismatchException
- ElementLatticeMismatchException(String) - 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
ElementLatticeMismatchExceptionotherwise. - ensureElementsInLattice(Element...) - Method in class it.unimi.dsi.lama4j.AbstractLattice
-
Ensure that the provided elements belong to this lattice, throwing an
ElementLatticeMismatchExceptionotherwise. - ensureElementsInLattice(Element, Element) - Method in class it.unimi.dsi.lama4j.AbstractLattice
-
Ensure that the provided elements belong to this lattice, throwing an
ElementLatticeMismatchExceptionotherwise. - 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) - Constructor for class it.unimi.dsi.lama4j.Flat
-
Create a flat lattice.
- Flat(int, String...) - Constructor for class it.unimi.dsi.lama4j.Flat
-
Create a flat lattice with named elements.
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 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.IntervalAntichains.Antichain
- 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 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
- 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) - 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.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, 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 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.IntervalAntichains.Antichain
- 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 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
- 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
AbstractElementthe 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) - 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.AbstractLattice
-
Enumerate all elements of this lattice to compute explicitly the pseudocomplement using the definition given in
Lattice.pscomp(Element, Element). - 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) - 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.AbstractLattice
-
Enumerate all elements of this lattice to compute explicitly the difference using the definition given in
Lattice.psdiff(Element, Element). - 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) - 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.AbstractLattice
-
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.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(int) - Method in class it.unimi.dsi.lama4j.Chain
-
Return the element of this chain of given ordinal position.
- valueOf(int) - Method in class it.unimi.dsi.lama4j.Flat
- valueOf(int...) - Method in class it.unimi.dsi.lama4j.Parts
-
Return an element of this lattice corresponding to the specified subset.
- valueOf(IntervalAntichains, int, Interval...) - Static method in class it.unimi.dsi.lama4j.IntervalAntichains.Antichain
- valueOf(IntervalAntichains, ObjectArrayList<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.Boolean
- valueOf(String) - Method in class it.unimi.dsi.lama4j.Chain
- valueOf(String) - Method in class it.unimi.dsi.lama4j.Flat
- 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(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
All Classes All Packages