menu
anteater package
documentation
reasoner/abstract/abstract_interpreter.dart
AnalysisResult<D extends AbstractDomain<D>>
exitStates property
exitStates property
dark_mode
light_mode
exitStates
property
Map
<
int
,
AbstractState
<
D
>
>
exitStates
final
Abstract state at the exit of each block.
Implementation
final Map<int, AbstractState<D>> exitStates;
anteater package
documentation
reasoner/abstract/abstract_interpreter
AnalysisResult<D extends AbstractDomain<D>>
exitStates property
AnalysisResult class