meet method

Implementation

@override
IntervalDomain meet(IntervalDomain other) {
  if (isBottom || other.isBottom) return bottomValue;

  final newMin = _maxNullable(min, other.min);
  final newMax = _minNullable(max, other.max);

  if (newMin != null && newMax != null && newMin > newMax) {
    return bottomValue;
  }

  return IntervalDomain(newMin, newMax);
}