menu
anteater package
documentation
reasoner/abstract/abstract_domain.dart
IntervalDomain
isTop property
isTop property
dark_mode
light_mode
isTop
property
@
override
bool
get
isTop
override
Checks if this is the top element.
Implementation
@override bool get isTop => min == null && max == null;
anteater package
documentation
reasoner/abstract/abstract_domain
IntervalDomain
isTop property
IntervalDomain class