Type Alias DataFrameStateDomain

DataFrameStateDomain: Map<NodeId, DataFrameDomain>

The data frame shape state domain representing possible memory states, mapping AST node IDs to data frame shape values of the DataFrameDomain.

Settings

Member Visibility