Warning: session_start(): open(/var/lib/php/sessions/sess_673bv0djt2fgn5246qrbg7pibt, 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 dm_gazelle_matchStep_condition(GazelleTree t, O... _) {
if (t.rule() == null) ret;
bool debug = boolPar debug(_) || boolPar debugConditions(_);
TextAndType next = get(t.rule().insWithType, t.mr.iCond);
if (debug) print("matchStep_condition: " + getString type(next));
if (next == null || !eq(next.type, "condition")) ret;
GazelleEvalContext subCtx = cast callF(requiredPar contextMaker(_));
subCtx.engine.dropRulesWhere(r -> neq(r.purpose, "condition to eval"));
L l = dm_gazelle_reasonAboutChatInput_v2(null, next.text, paramsPlus(_, ctx := subCtx));
gazelle_processSafeEvalsInTree(l);
if (debug) {
print("Sub-Tree for condition " + next.text + ":");
printIndentLines(l);
}
bool satisfied = false;
for (GazelleTree tree : l)
if (eqic(tree.line, "true"))
break with satisfied = true;
else if (eqic(tree.line, "false"))
break;
if (debug) print("satisfied=" + satisfied);
if (!satisfied) ret;
t.mr.iCond++;
gazelle_addPredictionToTreeNode(t);
t.mr.remainingConditions = dropFirst(t.mr.remainingConditions);
t.mr.remainingConditionsWithType = dropFirst(t.mr.remainingConditionsWithType);
}