meet method

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

Meet operation (⊓): greatest lower bound of two abstract values.

Implementation

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