public class Parts extends AbstractDistributiveLattice
| Constructor and Description |
|---|
Parts(int n) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Element> |
generators()
Return a collection of generators for the lattice.
|
Element |
join(Element... elements)
Return the join of the provided elements.
|
Element |
meet(Element... elements)
Return the meet of the provided elements.
|
Element |
one()
Return the one of this lattice.
|
Element |
pscomp(Element x,
Element y)
Compute the set implication of two elements.
|
Element |
psdiff(Element x,
Element y)
Compute the pseudo-difference of two elements.
|
String |
toString() |
Element |
valueOf(int... element)
Return an element of this lattice corresponding
to the specified subset.
|
Element |
valueOf(String name)
Return an element of this lattice, given its name.
|
Element |
zero()
Return the zero of this lattice.
|
isDistributivecomp, coveringRelation, elements, ensureElementsInLattice, ensureElementsInLattice, ensureElementsInLattice, leq, symdiff, valueOfZeroOrOnepublic Element valueOf(String name)
LatticeCertain lattices make it possible to define names for elements. This method returns the element corresponding to the provided name.
name - the name of an element of this lattice.name.public Element valueOf(int... element)
element - a list of integers interpreted as a subset.public Collection<Element> generators()
Latticezero or
one. There is no guarantee of freeness or minimality.public Element one()
LatticeNote that there is no guarantee that the returned element is the only element representing one in this lattice. Other ones may arise from computations, but they will always be equal to the element returned by this method.
public Element zero()
LatticeNote that there is no guarantee that the returned element is the only element representing zero in this lattice. Other zeroes may arise from computations, but they will always be equal to the element returned by this method.
public Element join(Element... elements)
Latticezero, and upon a singleton list the only specified element.elements - the elements whose join has to be computed.public Element meet(Element... elements)
Latticeone, and upon a singleton list the only specified element.elements - the elements whose meet has to be computed.public Element psdiff(Element x, Element y)
In the case of a Boolean algebra, x − y = x ∧ ~y.
psdiff in interface Latticepsdiff in class AbstractLatticex - an element.y - another element.x − y.Lattice.psdiff(Element, Element)public Element pscomp(Element x, Element y)
In the case of a Boolean algebra, x ⇒ y = ~x ∨ y.
pscomp in interface Latticepscomp in class AbstractLatticex - an element.y - another element.x ⇒ y.Lattice.pscomp(Element, Element)