| Server IP : 184.154.167.98 / Your IP : 3.148.115.187 Web Server : Apache System : Linux pink.dnsnetservice.com 4.18.0-553.22.1.lve.1.el8.x86_64 #1 SMP Tue Oct 8 15:52:54 UTC 2024 x86_64 User : puertode ( 1767) PHP Version : 8.2.26 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON | Sudo : ON | Pkexec : ON Directory : /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);
}