Warning: session_start(): open(/var/lib/php/sessions/sess_vti8kqfl7a63orp2d8uvrap6rg, 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_buParser_parseWeightedProductions() {
new L l;
for (S s : tlftj(mL_raw(ai_language() + " bottom-up groupings"))) {
L meta = trimAll(tok_splitAtComma(trailingAngleBracketStuff(s)));
s = dropTrailingAngleBracketStuff(s);
L tok = javaTokWithAngleBracketsC(s);
WeightedProduction p = null;
double weight = 1.0;
for (S met : meta)
if (startsWithDigit(met))
weight = parseDouble(met);
if (l(tok) == 5)
p = WeightedProduction(tok.get(0), tok.get(2), tok.get(4), weight);
else if (l(tok) == 3)
p = WeightedProduction(tok.get(0), tok.get(2), weight);
if (p != null) {
for (S met : meta)
if (eqOneOf(met, "L,", "R", "K"))
p.simplificationHint = met;
l.add(p);
}
}
ret l;
}