Lines Matching defs:Graph
2774 /// A wrapper around a report graph, which contains only a single path, and its
2779 OwningPtr<ExplodedGraph> Graph;
2784 /// A wrapper around a trimmed graph and its node maps.
2833 // The trimmed graph is created in the body of the constructor to ensure
2838 // Find the (first) error node in the trimmed graph. We just need to consult
2839 // the node map which maps from nodes in the original graph to nodes
2840 // in the new graph.
2850 assert(!RemainingNodes.empty() && "No error node found in the trimmed graph");
2898 // Create a new graph with a single path. This is the graph
2901 GraphWrapper.Graph.reset(GNew);
2908 // Create the equivalent node in the new graph with the same state
3080 assert(R && "No original report found for sliced graph.");
3081 assert(R->isValid() && "Report selected by trimmed graph marked invalid.");