Warning: session_start(): open(/var/lib/php/sessions/sess_e74k2ah19c8s11ni88e1e254ci, 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
// returns comments
static LS gazelle_proposeCalculationFunctions(ai_gazelle_analyzeStatementsForRule_Data data) {
new LS out;
varLoop: for (S var : data.usedVars) {
for (S f : ai_numberCalculationFunctions()) pcall {
if (ai_checkNumberCalculationFunction1(f, numbers, result))
ai_findNumberCalculationFunction1(
for (data.completeGoodMappings();
Pair> p = gazelle_goodAndBadValuesForVariable(data, var);
if (nempty(p.a) && nempty(p.b))
for (S discriminator : discriminators) pcall {
if (scoreDiscriminator(discriminator, p).allCorrect()) {
out.add(format("var " + quote(var) + " should satisfy *", discriminator));
continue varLoop;
}
}
}
ret out;
}