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.h250 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
253 Frontier.insert(SrcSet); in C()
360 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
363 : NodeBuilder(SrcSet, DstSet, Ctx), EnclosingBldr(Enclosing) { in NodeBuilder() argument
365 for (ExplodedNodeSet::iterator I = SrcSet.begin(), in NodeBuilder()
366 E = SrcSet.end(); I != E; ++I ) in NodeBuilder()
417 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, in BranchNodeBuilder() argument
420 : NodeBuilder(SrcSet, DstSet, C), DstT(dstT), DstF(dstF), in BranchNodeBuilder()
422 takeNodes(SrcSet); in BranchNodeBuilder()