clang API Documentation

Public Member Functions | Friends
clang::ento::InterExplodedGraphMap Class Reference

#include <ExplodedGraph.h>

List of all members.

Public Member Functions

ExplodedNodegetMappedNode (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: