Interface MeetSemilattice<T>

Interface for a meet semilattice that introduces the meet operation.

interface MeetSemilattice<T> {
    leq(a: T, b: T): boolean;
    meet(a: T, b: T): T;
    top(): T;
}

Type Parameters

  • T

    The type of elements in the semilattice.

Hierarchy (view full)

Implemented by

Methods

leq meet top

Methods

leq

  • leq(a, b): boolean

  • Determines if one element in the semilattice is less than or equal to another element.

    Parameters

    • a: T

      The element to compare.

    • b: T

      The element to compare against.

    Returns boolean

    true if a is less than or equal to b, otherwise false.

meet

  • meet(a, b): T

  • Meets two elements of the semilattice, returning the greatest lower bound (glb) of the two elements.

    Parameters

    • a: T

      First element to meet.

    • b: T

      Second element to meet.

    Returns T

    The met value.

top

Settings

Member Visibility

On This Page

Methods