slang::analysis::DataFlowState struct

Represents the state of a data flow analysis at a single point in a procedure.

Public variables

SmallVector<SymbolBitMap, 2> assigned
Each tracked variable has its assigned intervals stored here.
bool reachable
Whether the control flow that arrived at this point is reachable.