menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
NullabilityDomain
isTop property
isTop property
dark_mode
light_mode
isTop
property
@
override
bool
get
isTop
override
Checks if this is the top element.
Implementation
@override bool get isTop => state == Nullability.maybeNull;
anteater package
documentation
reasoner/abstract/abstract_domain
NullabilityDomain
isTop property
NullabilityDomain class