Searched refs:TrimmedGraph (Results 1 – 1 of 1) sorted by relevance
2571 std::unique_ptr<ExplodedGraph> TrimmedGraph; member in __anon2f4a13600211::BugPathGetter2636 TrimmedGraph = OriginalGraph->trim(Nodes, &ForwardMap); in BugPathGetter()2657 WS.push(TrimmedGraph->getRoot()); in BugPathGetter()2718 assert(OrigN == TrimmedGraph->getRoot() && in getNextBugPath()