Warning: session_start(): open(/var/lib/php/sessions/sess_86difjmu5u40cmjvfmp0qi66h6, 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 Steppable nlLogic_fillBattleSpace_steppable(final NLLogicChecker_v2 c, final Collector battleSpace, final bool debug) {
ret new Steppable {
volatile bool done;
Steppable inner;
{
VF2 onRuleFired = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m) {
if (battleSpace.add(new RuleWithParams(rule, m.matches)))
set done;
};
VF4, Exp> onRuleFailed = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m, L satisfiedConditions, Exp remaining) {
//print("satisfied conditions: " + satisfiedConditions);
if (battleSpace.add(new FailedRule(rule, m.matches, cloneListOrNull(nullIfEmpty(satisfiedConditions)), remaining)))
set done;
};
print("Iterating over " + n2(c.rules, "rule"));
applyNLLogicFacts_v4_iterate_steppable_verbose.set(debug);
inner = applyNLLogicFacts_v4_iterate_steppable(c, onRuleFired, onRuleFailed, c.rules);
}
bool step() {
ret !done && inner.step();
}
});
}