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