SVF::GenericGraphTraits< SVF::SVFG * > Struct Reference

#include <SVFG.h>

Inheritance diagram for SVF::GenericGraphTraits< SVF::SVFG * >:

Public Types
typedef SVF::SVFGNode *	NodeRef
Public Types inherited from SVF::GenericGraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >
using	NodeRef = typename GraphType::UnknownGraphTypeError

Static Public Member Functions
static bool	containsNode (SVF::SVFG *, const SVF::SVFGNode *)

Detailed Description

Definition at line 500 of file SVFG.h.

Member Typedef Documentation

NodeRef

typedef SVF::SVFGNode* SVF::GenericGraphTraits< SVF::SVFG * >::NodeRef

Definition at line 502 of file SVFG.h.

Member Function Documentation

containsNode()

static bool SVF::GenericGraphTraits< SVF::SVFG * >::containsNode ( SVF::SVFG *  , const SVF::SVFGNode *    )

inlinestatic

Whether n belongs to this graph (the whole SVFG contains every node). Mirrored by GenericGraphTraits<const SlicedSVFGView*>, so a solver templated on the graph type restricts itself to the graph's nodes.

Definition at line 507 of file SVFG.h.

    {
        return true;
    }

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/SVFG.h