Infinite-length join semilattice lattice representing interval of numbers with abstract interpretation operations over intervals.
Static
Represents the bottom element of the lattice.
The bottom element.
Joins two elements, returning the least upper bound (lub) of the two intervals.
Determines if one element in the semilattice is less than or equal to another element.
true if a is less than or equal to b, otherwise false.
true
a
b
false
Implements the widening operator (∇) for intervals to ensure termination of fixed point computations.
First interval operand
Second interval operand (typically the newer value)
Widened interval that over-approximates both inputs
Infinite-length join semilattice lattice representing interval of numbers with abstract interpretation operations over intervals.