Searched refs:OriginalGraph (Results 1 – 1 of 1) sorted by relevance
2865 TrimmedGraph(const ExplodedGraph *OriginalGraph,2872 TrimmedGraph::TrimmedGraph(const ExplodedGraph *OriginalGraph, in TrimmedGraph() argument2877 G.reset(OriginalGraph->trim(Nodes, &ForwardMap, &InverseMap)); in TrimmedGraph()