menu
anteater package
documentation
reasoner/abstract/abstract_interpreter.dart
AbstractInterpreter<D extends AbstractDomain<D>>
wideningThreshold property
wideningThreshold property
dark_mode
light_mode
wideningThreshold
property
int
wideningThreshold
final
Maximum iterations before forcing widening.
Implementation
final int wideningThreshold;
anteater package
documentation
reasoner/abstract/abstract_interpreter
AbstractInterpreter<D extends AbstractDomain<D>>
wideningThreshold property
AbstractInterpreter class