#include <SVFFileSystem.h>
Definition at line 326 of file SVFFileSystem.h.
◆ ICFGWriter()
SVF::ICFGWriter::ICFGWriter |
( |
const ICFG * |
icfg | ) |
|
Definition at line 949 of file SVFFileSystem.cpp.
951 for (
const auto& pair : icfg->getIcfgNodeToSVFLoopVec())
953 for (
const SVFLoop* loop : pair.second)
WriterPtrPool< SVFLoop > svfLoopPool
GenericGraphWriter< ICFGNode, ICFGEdge > GenericICFGWriter
◆ getSvfLoopID()
size_t SVF::ICFGWriter::getSvfLoopID |
( |
const SVFLoop * |
loop | ) |
|
|
inline |
◆ SVFIRWriter
◆ svfLoopPool
The documentation for this class was generated from the following files: