Function maxInterval

maxInterval(
interval1: IntervalDomain,
interval2: IntervalDomain,
): IntervalDomain
Creates the maximum of two abstract values of the positive interval domain, by creating the maximum of the lower bounds and upper bounds.
Parameters
- interval1: IntervalDomain
- interval2: IntervalDomain
Returns IntervalDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:175