Home
last modified time | relevance | path

Searched refs:SrcSet (Results 1 – 1 of 1) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h255 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
258 Frontier.insert(SrcSet); in C()
364 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
366 : NodeBuilder(SrcSet, DstSet, Ctx), EnclosingBldr(Enclosing) { in NodeBuilder() argument
368 for (ExplodedNodeSet::iterator I = SrcSet.begin(), in NodeBuilder()
369 E = SrcSet.end(); I != E; ++I ) in NodeBuilder()
420 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() argument
423 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
425 takeNodes(SrcSet); in BranchNodeBuilder()