Searched defs:ExplodedNode (Results 1 - 1 of 1) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h10 // This file defines the template classes ExplodedNode and ExplodedGraph,
51 // ExplodedNode is not constified all over the engine because we need to add
54 class ExplodedNode : public llvm::FoldingSetNode { class in namespace:clang::ento
69 /// store a flag rather than a node list, which ExplodedNode uses to mark
84 ExplodedNode * const *begin() const;
86 ExplodedNode * const *end() const;
95 void addNode(ExplodedNode *N, ExplodedGraph &G);
102 void replaceNode(ExplodedNode *node);
125 explicit ExplodedNode(const ProgramPoint &loc, ProgramStateRef state, function in class:clang::ento::ExplodedNode
131 ~ExplodedNode() {}
[all...]

Completed in 43 milliseconds