Function subtractInterval

subtractInterval(
interval1: IntervalDomain,
interval2: IntervalDomain,
): IntervalDomain
Subtracts an abstract value from another abstract values of the positive interval domain, by subtracting the lower bounds and upper bounds.
Parameters
- interval1: IntervalDomain
- interval2: IntervalDomain
Returns IntervalDomain
- Defined in src/abstract-interpretation/data-frame/domain.ts:157