SVF::MHP::NodeThreadSummary Struct Reference

#include <MHP.h>

Public Attributes
NodeBS	tids
Map< NodeID, NodeBS >	interleavingByTid

Detailed Description

Query-only exact compression of the context-sensitive fixed point. For one ICFG node, interleavingByTid[t] is the union of the interleaving sets of every calling context in which thread t reaches the node. MHP's existential context-pair query factors exactly through these per-tid unions (see mayHappenInParallelInst).

Definition at line 65 of file MHP.h.

Member Data Documentation

interleavingByTid

Map<NodeID, NodeBS> SVF::MHP::NodeThreadSummary::interleavingByTid

Definition at line 68 of file MHP.h.

tids

NodeBS SVF::MHP::NodeThreadSummary::tids

Definition at line 67 of file MHP.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/MHP.h