File manager - Edit - /usr/share/graphviz/gvpr/addedges
Back
/* Add edges from input graph to argument graph * Does not add nodes. */ BEGIN{ graph_t g = readG(ARGV[0]); node_t h, t; edge_t e; } E { if ((h = isNode(g,head.name)) && (t = isNode(g,tail.name))) { if (!isEdge(t,h,"")) { e = copy(g,$); } } } END { write(g); }
| ver. 1.4 |
Github
|
.
| PHP 8.1.34 | Generation time: 0 |
proxy
|
phpinfo
|
Settings