Implementation of a join semilattice for sets, providing methods to establish a partial order relation.
The type of elements in the sets.
Represents the bottom element of the semilattice.
Joins two elements of the semilattice, returning the least upper bound (lub) of the two elements.
First element to join.
Second element to join.
The joined value, representing the combination of a and b.
a
b
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.
The element to be compared.
The element to compare against.
true if a is less than or equal to b, otherwise false.
true
false
Implementation of a join semilattice for sets, providing methods to establish a partial order relation.