Static Value-Flow Analysis
Public Types | List of all members
SVF::GenericGraphTraits< SVF::ICFG * > Struct Reference

#include <ICFG.h>

Inheritance diagram for SVF::GenericGraphTraits< SVF::ICFG * >:
SVF::GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >

Public Types

typedef SVF::ICFGNodeNodeRef
 
- Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >
using NodeRef = typename GraphType::UnknownGraphTypeError
 

Detailed Description

Definition at line 324 of file ICFG.h.

Member Typedef Documentation

◆ NodeRef

Definition at line 326 of file ICFG.h.


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