Interface WideningLattice<T>

interface WideningLattice<T> {
leq(a: T, b: T): boolean;
widen(oldState: T, newState: T): T;
}

Type Parameters

T

Hierarchy (view full)

Semilattice<T>
- WideningLattice

Implemented by

IntervalJoinSemiLattice

Index

Methods

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.
Inherited from Semilattice.leq
- Defined in src/internals/lattice/common.ts:65

widen

widen(oldState, newState): T
Applies the widening operation to accelerate convergence.
Parameters
- oldState: T
  The previous state.
- newState: T
  The newly computed state.
Returns T
The widened state.
- Defined in src/internals/lattice/widening.ts:10