clang  3.9.0
Public Member Functions | List of all members
clang::ento::ExplodedNode::Auditor Class Referenceabstract

#include <ExplodedGraph.h>

Public Member Functions

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

Detailed Description

Definition at line 231 of file ExplodedGraph.h.

Constructor & Destructor Documentation

ExplodedNode::Auditor::~Auditor ( )
virtual

Definition at line 34 of file ExplodedGraph.cpp.

Member Function Documentation

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

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