menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckResult
isSafe property
isSafe property
dark_mode
light_mode
isSafe
property
bool
isSafe
final
Whether the access is provably safe.
Implementation
final bool isSafe;
anteater package
documentation
reasoner/abstract/bounds_checker
BoundsCheckResult
isSafe property
BoundsCheckResult class