Interface FiniteLatticeConfig<Top, Bot, Elements>

interface FiniteLatticeConfig<
    Top,
    Bot,
    Elements extends LatticeElements<Top, Bot> = [Top, Bot],
> {
    bottom: typeof Bottom | Bot;
    elements: ReadonlySet<Elements[number]>;
    leq: ReadonlyMap<Elements[number], ReadonlySet<Elements[number]>>;
    top: typeof Top | Top;
}

Type Parameters

Top
Bot
Elements extends LatticeElements<Top, Bot> = [Top, Bot]

Index

Properties

bottom elements leq top

Properties

`Readonly`bottom

bottom: typeof Bottom | Bot

The Bottom element of the lattice (least element).

`Readonly`elements

elements: ReadonlySet<Elements[number]>

The set of all lattice elements.

`Readonly`leq

leq: ReadonlyMap<Elements[number], ReadonlySet<Elements[number]>>

The partial order defining relationships between elements. leq[a] contains all elements b where a ≤ b (elements greater than or equal to a)

`Readonly`top

top: typeof Top | Top

The Top element of the lattice (greatest element).