Lines Matching refs:nodes
3 #this is a script to extract given named nodes from a dot file, with
5 # x and y are both nodes specified to be kept.
19 #nodes in the file
35 <output_file> [list of nodes to extract]'
66 #for the node (it will be Node(hex number)) to our set of nodes
96 #check to make sure that both nodes are in the node list
98 nodes = arrowexp.split(buffer)
99 nodes[0] = string.strip(nodes[0])
100 nodes[1] = string.strip(nodes[1])
101 if nodes[0][:13] in node_set and \
102 nodes[1][:13] in node_set:
