menu
anteater package
documentation
reasoner/abstract/abstract_interpreter.dart
AnalysisResult<D extends AbstractDomain<D>>
narrowingApplied property
narrowingApplied property
dark_mode
light_mode
narrowingApplied
property
bool
narrowingApplied
final
Whether narrowing was applied after widening.
Implementation
final bool narrowingApplied;
anteater package
documentation
reasoner/abstract/abstract_interpreter
AnalysisResult<D extends AbstractDomain<D>>
narrowingApplied property
AnalysisResult class