@eagleoutice/flowr - v2.13.14
Preparing search index...
src/abstract-interpretation/domains/state-abstract-domain
StateDomainTop
Type Alias StateDomainTop
StateDomainTop
:
ReadonlyMap
<
NodeId
,
never
>
The type of the Top element of the state abstract domain as (empty) map of keys to domain values
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@eagleoutice/flowr - v2.13.14
Loading...
The type of the Top element of the state abstract domain as (empty) map of keys to domain values