Warning: session_start(): open(/var/lib/php/sessions/sess_20ulo48kd2int3ckgoelbvcoc3, 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
svoid nlLogic_fillBattleSpace(NLLogicChecker_v3 c, final L battleSpace, bool useIterate, bool debug) { VF2 onRuleFired = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m) { battleSpace.add(new RuleWithParams(rule, m.matches)); }; if (useIterate) { print("Iterating over " + n2(c.rules, "rule")); applyNLLogicFacts_v4_iterate_verbose.set(debug); applyNLLogicFacts_v4_iterate(c, onRuleFired, c.rules); } else { applyNLLogicFacts_v4_verbose.set(debug); applyNLLogicFacts_v4(c, onRuleFired, c.rules); } }