Skip navigation links
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

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 
Skip navigation links