Interface MeetSemilattice<T>

Interface for a meet semilattice that introduces the meet operation.

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

Type Parameters

  • T

    The type of elements in the semilattice.

Hierarchy (view full)

Implemented by

Methods

bottom leq meet

Methods

bottom

leq

  • leq(a, b): boolean

  • Determines if one element in the semilattice is less than or equal to another element. This is crucial for determining if the analysis has reached a fixpoint.

    Parameters

    • a: T

      The element to be compared.

    • 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, representing the combination of a and b.

Settings

Member Visibility

On This Page

Methods