Package 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 Details

  • Constructor Details

    • AbstractElement

      protected AbstractElement​(Lattice lattice)
      Create a new abstract element, initialising its containing lattice.
      Parameters:
      lattice - the containing lattice of this abstract element.

  • Method Details

    • 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)