subtract method

IntervalDomain subtract(
  1. IntervalDomain other
)

Implementation

IntervalDomain subtract(IntervalDomain other) {
  if (isBottom || other.isBottom) return bottomValue;

  return IntervalDomain(
    _subtractNullable(min, other.max),
    _subtractNullable(max, other.min),
  );
}