#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 )

static bool	containsEdge (SVF::SVFG , const SVF::SVFGEdge )

Static Public Attributes
static constexpr bool	isFilteredGraph = false

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

◆ containsEdge()

static bool SVF::GenericGraphTraits< SVF::SVFG * >::containsEdge	(	SVF::SVFG *	,
		const SVF::SVFGEdge *
	)

inlinestatic

Definition at line 513 of file SVFG.h.

    {
        return true;
    }

◆ 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 508 of file SVFG.h.

    {
        return true;
    }

Member Data Documentation

◆ isFilteredGraph

constexpr bool SVF::GenericGraphTraits< SVF::SVFG * >::isFilteredGraph = false

staticconstexpr

Definition at line 503 of file SVFG.h.

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

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

Public Types

Static Public Member Functions

Static Public Attributes