clang
6.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
Public Member Functions | |
virtual | ~Auditor () |
virtual void | AddEdge (ExplodedNode *Src, ExplodedNode *Dst)=0 |
Definition at line 230 of file ExplodedGraph.h.
|
virtual |
Definition at line 32 of file ExplodedGraph.cpp.
|
pure virtual |
Referenced by clang::ento::ExplodedNode::addPredecessor().