Static Value-Flow Analysis
|
#include <ConsG.h>
Public Types | |
typedef SVF::ConstraintNode * | NodeRef |
Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * > | |
using | NodeRef = typename GraphType::UnknownGraphTypeError |
typedef SVF::ConstraintNode* SVF::GenericGraphTraits< SVF::ConstraintGraph * >::NodeRef |