it.unimi.dsi.lama4j

Class AbstractElement

java.lang.Object

it.unimi.dsi.lama4j.AbstractElement

All Implemented Interfaces:

Element

Direct Known Subclasses:

IntervalAntichains.Antichain, NamedElement

public abstract class AbstractElement
extends Object
implements Element

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

Field Summary

Fields

Modifier and Type	Field and Description
protected Lattice	lattice The containing lattice.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractElement(Lattice lattice) Create a new abstract element, initialising its containing lattice.

Method Summary

Modifier and Type	Method and Description
boolean	comp(Element element) Return whether this element is comparable with the provided element.
Element	join(Element... element) Return the join of this element and of the provided elements.
Element	join(Element element) Return the join of this element and of the provided element.
Lattice	lattice() Return the lattice containing this element.
boolean	leq(Element element) Return whether this element is less than or equal to the provided element in the order of the containing lattice.
Element	meet(Element... element) Return the meet of this element and of the provided elements.
Element	meet(Element element) Return the meet of this element and of the provided element.
Element	pscomp(Element element) Return the pseudocomplement of this element relative to another element (optional operation).
Element	psdiff(Element element) Return the difference of this element with another element (optional operation).
Element	symdiff(Element element) Return the symmetric difference between this element and another element (optional operation).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lattice

protected final Lattice lattice

The containing lattice.

Constructor Detail

AbstractElement

protected AbstractElement(Lattice lattice)

Create a new abstract element, initialising its containing lattice.

Parameters:

lattice - the containing lattice of this abstract element.

Method Detail

lattice

public Lattice lattice()

Description copied from interface: Element

Return the lattice containing this element.

Specified by:

lattice in interface Element

Returns:

the lattice containing this element.

meet

public Element meet(Element... element)

Description copied from interface: Element

Return the meet of this element and of the provided elements. In particular, upon the empty list of arguments returns this element.

Specified by:

meet in interface Element

Parameters:

element - the elements whose meet, together with this element, has to be computed.

Returns:

the meet of the provided elements and of this element.

meet

public Element meet(Element element)

Description copied from interface: Element

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

Specified by:

meet in interface Element

Parameters:

element - the element whose meet, together with this element, has to be computed.

Returns:

the meet of the provided element and of this element.

join

public Element join(Element... element)

Description copied from interface: Element

Return the join of this element and of the provided elements. In particular, upon the empty list of arguments returns this element.

Specified by:

join in interface Element

Parameters:

element - the elements whose join, together with this element, has to be computed.

Returns:

the join of the provided elements and of this element.

join

public Element join(Element element)

Description copied from interface: Element

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

Specified by:

join in interface Element

Parameters:

element - the element whose join, together with this element, has to be computed.

Returns:

the join of the provided element and of this element.

comp

public boolean comp(Element element)

Description copied from interface: Element

Return whether this element is comparable with the provided element.

Specified by:

comp in interface Element

Parameters:

element - an element.

Returns:

true if this element is comparable with element, false otherwise.

leq

public boolean leq(Element element)

Description copied from interface: Element

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

Specified by:

leq in interface Element

Parameters:

element - an element.

Returns:

true if this element is less than or equal to element, false otherwise.

psdiff

public Element psdiff(Element element)

Description copied from interface: Element

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

Specified by:

psdiff in interface Element

Parameters:

element - an element.

Returns:

the difference between this element and element.

See Also:

Lattice.psdiff(Element, Element)

pscomp

public Element pscomp(Element element)

Description copied from interface: Element

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

Specified by:

pscomp in interface Element

Parameters:

element - an element.

Returns:

the pseudocomplement of this element relative to element.

See Also:

Lattice.pscomp(Element, Element)

symdiff

public Element symdiff(Element element)

Description copied from interface: Element

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

Specified by:

symdiff in interface Element

Parameters:

element - an element.

Returns:

the symmetric difference of this element with element.

See Also:

Lattice.symdiff(Element, Element)