llvm::GraphTraits< const clang::ento::ExplodedNode * > Struct Template Reference

#include <ExplodedGraph.h>

List of all members.

Public Types
typedef const clang::ento::ExplodedNode	NodeType
typedef NodeType::const_succ_iterator	ChildIteratorType
typedef llvm::df_iterator < NodeType * >	nodes_iterator
Static Public Member Functions
static NodeType *	getEntryNode (NodeType *N)
static ChildIteratorType	child_begin (NodeType *N)
static ChildIteratorType	child_end (NodeType *N)
static nodes_iterator	nodes_begin (NodeType *N)
static nodes_iterator	nodes_end (NodeType *N)

---

Detailed Description

template<>
struct llvm::GraphTraits< const clang::ento::ExplodedNode * >

Definition at line 471 of file ExplodedGraph.h.

---

Member Typedef Documentation

typedef NodeType::const_succ_iterator llvm::GraphTraits< const clang::ento::ExplodedNode * >::ChildIteratorType

Definition at line 473 of file ExplodedGraph.h.

typedef llvm::df_iterator<NodeType*> llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_iterator

Definition at line 474 of file ExplodedGraph.h.

typedef const clang::ento::ExplodedNode llvm::GraphTraits< const clang::ento::ExplodedNode * >::NodeType

Definition at line 472 of file ExplodedGraph.h.

---

Member Function Documentation

static ChildIteratorType llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_begin

(

NodeType *

N

)

[inline, static]

Definition at line 480 of file ExplodedGraph.h.

References clang::ento::ExplodedNode::succ_begin().

static ChildIteratorType llvm::GraphTraits< const clang::ento::ExplodedNode * >::child_end

(

NodeType *

N

)

[inline, static]

Definition at line 484 of file ExplodedGraph.h.

References clang::ento::ExplodedNode::succ_end().

static NodeType* llvm::GraphTraits< const clang::ento::ExplodedNode * >::getEntryNode

(

NodeType *

N

)

[inline, static]

Definition at line 476 of file ExplodedGraph.h.

static nodes_iterator llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_begin

(

NodeType *

N

)

[inline, static]

Definition at line 488 of file ExplodedGraph.h.

static nodes_iterator llvm::GraphTraits< const clang::ento::ExplodedNode * >::nodes_end

(

NodeType *

N

)

[inline, static]

Definition at line 492 of file ExplodedGraph.h.

---

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

• ExplodedGraph.h