Warning: session_start(): open(/var/lib/php/sessions/sess_kvmn5f89emjgdqjm4o5unlo286, 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_withFailed2(NLLogicChecker_v2 c, final L battleSpace, bool debug) { VF2 onRuleFired = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m) { battleSpace.add(new RuleWithParams(rule, m.matches)); }; VF4, Exp> onRuleFailed = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m, L satisfiedConditions, Exp remaining) { battleSpace.add(new FailedRule(rule, m.matches, cloneListOrNull(satisfiedConditions), remaining)); }; print("Iterating over " + n2(c.rules, "rule")); applyNLLogicFacts_v4_iterate_withFailed2_verbose.set(debug); applyNLLogicFacts_v4_iterate_withFailed2(c, onRuleFired, onRuleFailed, c.rules); }