clang
7.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 246 of file ExplodedGraph.h.
|
virtualdefault |
|
pure virtual |
Referenced by clang::ento::ExplodedNode::addPredecessor().