Server IP : 85.193.89.191 / Your IP : 3.22.61.174 Web Server : Apache System : Linux 956367-cx40159.tmweb.ru 3.10.0-1160.105.1.el7.x86_64 #1 SMP Thu Dec 7 15:39:45 UTC 2023 x86_64 User : bitrix ( 600) PHP Version : 8.1.27 Disable Function : NONE MySQL : OFF | cURL : OFF | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /proc/982/root/usr/share/graphviz/gvpr/ |
Upload File : |
/* anonymize the graph */ BEG_G { node_t map[node_t]; graph_t dup; int id = 0; char* gtype; node_t n; edge_t e; char* l; if ($.directed) gtype = "D"; else gtype = "U"; if ($.strict) gtype = gtype + "S"; dup = graph ($.name, gtype); $tvtype = TV_ne; } N { n = node(dup, (char*)id); n.label=$.name; map[$] = n; id++; } E { edge (map[$.tail],map[$.head],""); } END_G { write (dup); }