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