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