Lines Matching refs:graph
483 def visit_begin_graph(self, graph): argument
484 self._graph = graph
900 def explore(self, graph, visitor): argument
901 visitor.visit_begin_graph(graph)
902 for node in sorted(graph.nodes):
904 visitor.visit_node(graph.nodes[node])
905 for succ in sorted(graph.nodes[node].successors):
907 visitor.visit_edge(graph.nodes[node], graph.nodes[succ])
920 def trim(self, graph): argument
922 node_id = graph.root_id
925 node = graph.nodes[node_id]
928 succ = graph.nodes[succ_id]
936 graph.nodes = {node_id: graph.nodes[node_id]
948 def parse_target_node(node, graph): argument
951 assert ret in graph.nodes
954 for other_id in graph.nodes:
955 other = graph.nodes[other_id]
960 def parse_target_nodes(target_nodes, graph): argument
961 return [TargetedTrimmer.parse_target_node(node, graph)
964 def trim(self, graph): argument
971 node = graph.nodes[node_id]
975 graph.nodes = {node_id: graph.nodes[node_id]
977 for node_id in graph.nodes:
978 node = graph.nodes[node_id]
1029 graph = ExplodedGraph()
1033 graph.add_raw_line(raw_line)
1038 TargetedTrimmer.parse_target_nodes(args.to, graph)))
1048 trimmer.trim(graph)
1050 explorer.explore(graph, visitor)