clang::ento::ExplodedNode::Auditor Class Reference

#include <ExplodedGraph.h>

List of all members.

Public Member Functions
virtual	~Auditor ()
virtual void	AddEdge (ExplodedNode *Src, ExplodedNode *Dst)=0

---

Detailed Description

Definition at line 218 of file ExplodedGraph.h.

---

Constructor & Destructor Documentation

ExplodedNode::Auditor::~Auditor

(

)

[virtual]

Definition at line 32 of file ExplodedGraph.cpp.

---

Member Function Documentation

virtual void clang::ento::ExplodedNode::Auditor::AddEdge	(	ExplodedNode *	Src,
		ExplodedNode *	Dst
	)		[pure virtual]

Referenced by clang::ento::ExplodedNode::addPredecessor().

---

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

• ExplodedGraph.h
• ExplodedGraph.cpp