Implementation of a meet 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.
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
a
b
false
Meets two elements of the semilattice, returning the greatest lower bound (glb) of the two elements.
First element to meet.
Second element to meet.
The met value, representing the combination of a and b.
Implementation of a meet semilattice for sets, providing methods to establish a partial order relation.