menu
anteater package
documentation
reasoner/abstract/abstract_interpreter.dart
AnalysisResult<D extends AbstractDomain<D>>
narrowingIterations property
narrowingIterations property
dark_mode
light_mode
narrowingIterations
property
int
narrowingIterations
final
Number of narrowing iterations performed.
Implementation
final int narrowingIterations;
anteater package
documentation
reasoner/abstract/abstract_interpreter
AnalysisResult<D extends AbstractDomain<D>>
narrowingIterations property
AnalysisResult class