menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
AbstractDomain<T extends AbstractDomain<T>>
isBottom property
isBottom property
dark_mode
light_mode
isBottom
property
bool
get
isBottom
Checks if this is the bottom element.
Implementation
bool get isBottom;
anteater package
documentation
reasoner/abstract/abstract_domain
AbstractDomain<T extends AbstractDomain<T>>
isBottom property
AbstractDomain class