Searched refs:OriginalGraph (Results 1 – 1 of 1) sorted by relevance
2526 BugPathGetter(const ExplodedGraph *OriginalGraph,2534 BugPathGetter::BugPathGetter(const ExplodedGraph *OriginalGraph, in BugPathGetter() argument2547 TrimmedGraph = OriginalGraph->trim(Nodes, &ForwardMap); in BugPathGetter()