Function joinInterval

joinInterval(
interval1: IntervalDomain,
interval2: IntervalDomain,
): IntervalDomain
Joins two abstract values of the positive interval domain according to the positive interval lattice by creating the least upper bound (LUB).
Parameters
- interval1: IntervalDomain
- interval2: IntervalDomain
Returns IntervalDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:126