Function meetInterval

meetInterval(
interval1: IntervalDomain,
interval2: IntervalDomain,
): IntervalDomain
Meets two abstract values of the positive interval domain according to the positive interval lattice by creating the greatest lower bound (GLB).
Parameters
- interval1: IntervalDomain
- interval2: IntervalDomain
Returns IntervalDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:137