widen method

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

Widening operation (∇): ensures termination in fixpoint iteration.

Implementation

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