![]() Server : Apache System : Linux server2.corals.io 4.18.0-348.2.1.el8_5.x86_64 #1 SMP Mon Nov 15 09:17:08 EST 2021 x86_64 User : corals ( 1002) PHP Version : 7.4.33 Disable Function : exec,passthru,shell_exec,system Directory : /proc/self/root/usr/share/graphviz/gvpr/ |
/* Generate copy of topology of input graph * Replace names with numbers */ BEGIN { int id = 0; char* names[char*]; char* mapn (char* inname) { char* s = names[inname]; if (s == "") { s = id++; names[inname] = s; } return s; } } BEG_G { graph_t g = graph ($.name, "U"); } N { node (g, mapn($.name)); } E { edge (node (g, mapn($.tail.name)), node (g, mapn($.head.name)), ""); } END_G { write (g); }