clang::ento::InterExplodedGraphMap Class Reference

#include <ExplodedGraph.h>

List of all members.

Public Member Functions
ExplodedNode *	getMappedNode (const ExplodedNode *N) const
	InterExplodedGraphMap ()
virtual	~InterExplodedGraphMap ()
Friends
class	ExplodedGraph

---

Detailed Description

Definition at line 232 of file ExplodedGraph.h.

---

Constructor & Destructor Documentation

clang::ento::InterExplodedGraphMap::InterExplodedGraphMap

(

)

[inline]

Definition at line 240 of file ExplodedGraph.h.

virtual clang::ento::InterExplodedGraphMap::~InterExplodedGraphMap

(

)

[inline, virtual]

Definition at line 241 of file ExplodedGraph.h.

---

Member Function Documentation

ExplodedNode * InterExplodedGraphMap::getMappedNode

(

const ExplodedNode *

N

)

const

Definition at line 400 of file ExplodedGraph.cpp.

---

Friends And Related Function Documentation

friend class ExplodedGraph [friend]

Definition at line 235 of file ExplodedGraph.h.

---

The documentation for this class was generated from the following files:

• ExplodedGraph.h
• ExplodedGraph.cpp