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