AnalysisState struct
#include <netlist/ProceduralAnalysis.hpp>
Constructors, destructors, conversion operators
- AnalysisState() defaulted
- AnalysisState(AnalysisState&& other) defaulted
Public functions
- auto operator=(AnalysisState&& other) -> AnalysisState&=default
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.
- NetlistNode* node
- The current control flow node in the graph.