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