it.unimi.dsi.lama4j

Class IntervalAntichains.Antichain

java.lang.Object

it.unimi.dsi.lama4j.AbstractElement

it.unimi.dsi.lama4j.IntervalAntichains.Antichain

All Implemented Interfaces:

Element

Enclosing class:

IntervalAntichains

public static final class IntervalAntichains.Antichain
extends AbstractElement

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

Note that this class implements several additional operations (e.g., isContained(Element)).

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG
Interval[]	interval

Fields inherited from class it.unimi.dsi.lama4j.AbstractElement

lattice

Method Summary

Modifier and Type	Method and Description
IntervalAntichains.Antichain	contains(Element element) Return the antichain formed by the intervals of this element that contain an interval of a given element.
IntervalAntichains.Antichain	doesNotContain(Element element) An alias for psdiff(Element).
boolean	equals(Object o)
int	hashCode()
IntervalAntichains.Antichain	incomparable(Element element) Return the antichain formed by the intervals of this element that are incomparable with all intervals of a given element.
IntervalAntichains.Antichain	isContained(Element element) Return the antichain formed by the intervals of this element that are contained in some interval of a given element.
IntervalAntichains.Antichain	isNotContained(Element element) Return the antichain formed by the intervals of this element that are not contained in an interval of a given element.
IntervalAntichains.Antichain	join(Element... element) Return the join of this element and of the provided elements.
IntervalAntichains.Antichain	join(Element element) Return the join of this element and of the provided element.
IntervalAntichains	lattice() Return the lattice containing this element.
IntervalAntichains.Antichain	meet(Element... element) Return the meet of this element and of the provided elements.
IntervalAntichains.Antichain	meet(Element element) Return the meet of this element and of the provided element.
IntervalAntichains.Antichain	pscomp(Element element) Return the pseudocomplement of this element relative to another element (optional operation).
IntervalAntichains.Antichain	psdiff(Element element) Return the difference of this element with another element (optional operation).
int	rank() Return the rank of this element.
IntervalAntichains.Antichain	setIntersection(Element element) Return the set intersection of this element with another element.
IntervalAntichains.Antichain	symdiff(Element element) Return the symmetric difference between this element and another element (optional operation).
String	toString()
static IntervalAntichains.Antichain	valueOf(IntervalAntichains lattice, Interval... antichain)
static IntervalAntichains.Antichain	valueOf(IntervalAntichains lattice, int length, Interval... antichain)
static IntervalAntichains.Antichain	valueOf(IntervalAntichains lattice, ObjectArrayList<Interval> antichain)

Methods inherited from class it.unimi.dsi.lama4j.AbstractElement

comp, leq

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

DEBUG

public static final boolean DEBUG

See Also:

Constant Field Values

interval

public final Interval[] interval

Method Detail

valueOf

public static IntervalAntichains.Antichain valueOf(IntervalAntichains lattice,
                                                   ObjectArrayList<Interval> antichain)

valueOf

public static IntervalAntichains.Antichain valueOf(IntervalAntichains lattice,
                                                   int length,
                                                   Interval... antichain)

valueOf

public static IntervalAntichains.Antichain valueOf(IntervalAntichains lattice,
                                                   Interval... antichain)

lattice

public IntervalAntichains lattice()

Description copied from interface: Element

Return the lattice containing this element.

Specified by:

lattice in interface Element

Overrides:

lattice in class AbstractElement

Returns:

the lattice containing this element.

meet

public IntervalAntichains.Antichain 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

Overrides:

meet in class AbstractElement

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 IntervalAntichains.Antichain 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

Overrides:

meet in class AbstractElement

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 IntervalAntichains.Antichain 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

Overrides:

join in class AbstractElement

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 IntervalAntichains.Antichain 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

Overrides:

join in class AbstractElement

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.

psdiff

public IntervalAntichains.Antichain 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

Overrides:

psdiff in class AbstractElement

Parameters:

element - an element.

Returns:

the difference between this element and element.

See Also:

Lattice.psdiff(Element, Element)

pscomp

public IntervalAntichains.Antichain 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

Overrides:

pscomp in class AbstractElement

Parameters:

element - an element.

Returns:

the pseudocomplement of this element relative to element.

See Also:

Lattice.pscomp(Element, Element)

symdiff

public IntervalAntichains.Antichain 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

Overrides:

symdiff in class AbstractElement

Parameters:

element - an element.

Returns:

the symmetric difference of this element with element.

See Also:

Lattice.symdiff(Element, Element)

doesNotContain

public IntervalAntichains.Antichain doesNotContain(Element element)

An alias for psdiff(Element).

Parameters:

element - an element.

Returns:

the antichain formed by the intervals of this element that do not contain an interval of element.

rank

public int rank()

Return the rank of this element.

The rank will be cached. Thus, after the first call on this element this method will return the cached value.

Returns:

the rank of this element.

isNotContained

public IntervalAntichains.Antichain isNotContained(Element element)

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

Parameters:

element - an element.

Returns:

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

isContained

public IntervalAntichains.Antichain isContained(Element element)

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

Parameters:

element - an element.

Returns:

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

contains

public IntervalAntichains.Antichain contains(Element element)

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

Parameters:

element - an element.

Returns:

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

incomparable

public IntervalAntichains.Antichain incomparable(Element element)

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

Parameters:

element - an element.

Returns:

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

setIntersection

public IntervalAntichains.Antichain setIntersection(Element element)

Return the set intersection of this element with another element.

Parameters:

element - an element.

Returns:

the set intersection of this element with element.

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object