menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
NullabilityDomain
bottom property
bottom property
dark_mode
light_mode
bottom
property
@
override
NullabilityDomain
get
bottom
override
Returns the bottom element (⊥).
Implementation
@override NullabilityDomain get bottom => bottomValue;
anteater package
documentation
reasoner/abstract/abstract_domain
NullabilityDomain
bottom property
NullabilityDomain class