Function leqInterval

leqInterval(interval1: IntervalDomain, interval2: IntervalDomain): boolean
Checks if two abstract values of the positive interval domain are ordered according to the partial ordering of the positive interval lattice.
Parameters
- interval1: IntervalDomain
- interval2: IntervalDomain
Returns boolean
- Defined in src/abstract-interpretation/data-frame/domain.ts:121