add method

IntervalDomain add(
  1. IntervalDomain other
)

Implementation

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

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