narrow method

  1. @override
CombinedDomain narrow(
  1. CombinedDomain other
)
override

Narrowing operation (△): refines over-approximation after widening.

Implementation

@override
CombinedDomain narrow(CombinedDomain other) {
  return CombinedDomain(
    interval.narrow(other.interval),
    nullability.narrow(other.nullability),
  );
}