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