menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
AbstractDomain<T extends AbstractDomain<T>>
bottom property
bottom property
dark_mode
light_mode
bottom
property
T
get
bottom
Returns the bottom element (⊥).
Implementation
T get bottom;
anteater package
documentation
reasoner/abstract/abstract_domain
AbstractDomain<T extends AbstractDomain<T>>
bottom property
AbstractDomain class