edge.vertices[:] = w, v
edge_list.append(edge)
+ if opts.verify or opts.dot_files:
+ graph_edges = [[x.site.site_dnstr for x in e.vertices]
+ for e in edge_list]
+ #add the reverse edge if not directed.
+ graph_edges.extend([x.site.site_dnstr
+ for x in reversed(e.vertices)]
+ for e in edge_list if not e.directed)
+ graph_nodes = [v.site.site_dnstr for v in graph.vertices]
+ verify_properties = ()
+ verify_and_dot('post-one-way-partial', graph_edges, graph_nodes,
+ label=label, properties=verify_properties,
+ debug=DEBUG, verify=opts.verify,
+ directed=True,
+ dot_files=opts.dot_files)
# count the components
return edge_list, components