Warning: session_start(): open(/var/lib/php/sessions/sess_g7kerhc41d1ii307101uufuodt, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static void webs_toTripleFile(L webs, PrintWriter out) {
new L names;
new Map index;
new StringBuilder buf;
for (Web web : webs) {
T3 t = ai_webToTriple(web);
if (t == null) fail("Not tripelizable: " + webToStringShort(web));
buf.append(
webs_toTripleFile_indexGet(names, index, t.a) + " " +
webs_toTripleFile_indexGet(names, index, t.b) + " " +
webs_toTripleFile_indexGet(names, index, t.c) + "\n");
}
out.println(struct(names));
out.print(buf);
}
static int webs_toTripleFile_indexGet(L names, Map index, S s) {
int i = index.get(s);
if (i < 0) {
i = l(names);
names.add(i);
}
ret i;
}