isLessThan method

bool isLessThan(
  1. IntervalDomain other
)

Checks if this interval satisfies a < b relation.

Implementation

bool isLessThan(IntervalDomain other) {
  if (isBottom || other.isBottom) return false;
  if (max == null || other.min == null) return false;
  return max! < other.min!;
}