isSubsetOf method

  1. @override
bool isSubsetOf(
  1. NullabilityDomain other
)
override

Checks if this value is less than or equal to another (⊑).

Implementation

@override
bool isSubsetOf(NullabilityDomain other) {
  if (isBottom) return true;
  if (other.isTop) return true;
  return state == other.state;
}