menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckResult
indexInterval property
indexInterval property
dark_mode
light_mode
indexInterval
property
IntervalDomain
?
indexInterval
final
The computed index interval.
Implementation
final IntervalDomain? indexInterval;
anteater package
documentation
reasoner/abstract/bounds_checker
BoundsCheckResult
indexInterval property
BoundsCheckResult class