join method

Implementation

@override
IntervalDomain join(IntervalDomain other) {
  if (isBottom) return other;
  if (other.isBottom) return this;

  return IntervalDomain(
    _minNullable(min, other.min),
    _maxNullable(max, other.max),
  );
}