Lines Matching refs:nodes

342         self.nodes = collections.defaultdict(ExplodedNode)
366             self.nodes[pred].successors.append(succ)
367             self.nodes[succ].predecessors.append(pred)
373             if len(self.nodes) == 0:
395             self.nodes[node_id].construct(node_id, json_node)
840                 prev_s = self._graph.nodes[node.predecessors[0]].state
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])
925             node = graph.nodes[node_id]
928                 succ = graph.nodes[succ_id]
936         graph.nodes = {node_id: graph.nodes[node_id]
951             assert ret in graph.nodes
954             for other_id in graph.nodes:
955                 other = graph.nodes[other_id]
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]