SVF::VersionedFlowSensitive::SCC::NodeData Struct Reference

Public Attributes
int	index
int	lowlink
bool	onStack

Detailed Description

Definition at line 254 of file VersionedFlowSensitive.h.

Member Data Documentation

index

int SVF::VersionedFlowSensitive::SCC::NodeData::index

Definition at line 256 of file VersionedFlowSensitive.h.

lowlink

int SVF::VersionedFlowSensitive::SCC::NodeData::lowlink

Definition at line 257 of file VersionedFlowSensitive.h.

onStack

bool SVF::VersionedFlowSensitive::SCC::NodeData::onStack

Definition at line 258 of file VersionedFlowSensitive.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/WPA/VersionedFlowSensitive.h