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