Class FiniteConcept

    • Field Detail

      • abovePort

        public ComponentPort abovePort
        The port linked to concepts above this one in the lattice.
      • belowPort

        public ComponentPort belowPort
        The port linked to concepts below this one in the lattice.
    • Method Detail

      • getCoverSetAbove

        public java.util.Set<FiniteConcept> getCoverSetAbove()
        Return the finite concepts that cover this one. If this concept is x, then we mean here the set of concepts y such that x ≤ y and x ≤ z < y implies that z = x.
        Returns:
        A set of concepts that cover this one.
      • getCoverSetBelow

        public java.util.Set<FiniteConcept> getCoverSetBelow()
        Return the finite concepts that are covered by this one. If this concept is x, then we mean here the set of concepts y such that y ≤ x and y < z ≤ x implies that z = x.
        Returns:
        A set of concepts that are covered by this one.
      • getIncomingPort

        public ComponentPort getIncomingPort()
        Return the below port specified in the constructor.
        Specified by:
        getIncomingPort in interface Flowable
        Returns:
        The below port specified in the constructor.
      • getOutgoingPort

        public ComponentPort getOutgoingPort()
        Return the above port specified in the constructor.
        Specified by:
        getOutgoingPort in interface Flowable
        Returns:
        The above port specified in the constructor.
      • toString

        public java.lang.String toString()
        Return the string representation of this concept, its name.
        Specified by:
        toString in class Concept
        Returns:
        The name of this concept.