Warning: session_start(): open(/var/lib/php/sessions/sess_hqgpuhgclbr5t9tabkbb2ks6f9, 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 L ai_texts_dollarAny(S a, S b, S c) { if (isDollarVar(b)) todo(); bool va = isDollarVar(a), vc = isDollarVar(c); new L l; // no vars if (!va && !vc) { if (has(a, b, c)) l.add(emptyMap()); ret l; } // var on the left if (va && !vc) { for (S s : ai_texts("$X", b, c)) l.add(litmap(a, s)); ret l; } // var on the right if (vc && !va) { for (S s : ai_texts(a, b, "$X")) l.add(litmap(c, s)); ret l; } // vars on both sides for (WebRelation r : indexedRelations(b)) l.add(strictlitmap(a, web_text(r.a), c, web_text(r.b))); ret l; }