@eagleoutice/flowr - v2.13.14
Preparing search index...
src/abstract-interpretation/domains/state-abstract-domain
StateDomainValue
Type Alias StateDomainValue<Domain>
StateDomainValue
:
ReadonlyMap
<
NodeId
,
Domain
>
The type of the actual values of the state abstract domain as map of keys to domain values
Type Parameters
Domain
extends
AnyAbstractDomain
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@eagleoutice/flowr - v2.13.14
Loading...
The type of the actual values of the state abstract domain as map of keys to domain values