Warning: session_start(): open(/var/lib/php/sessions/sess_4rcvhrs3vo95st061orbt6rvln, 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(S ruleText, ai_gazelle_analyzeStatementsForRule_Data data) {
PairS rule = splitAtDoubleArrow_pair(ruleText);
S var1 = firstIntAsString(rule.a), var2 = secondIntAsString(rule.a);
S var3 = firstIntAsString(rule.b);
if (var1 == null || var2 == null || var3 == null) ret emptyList();
LS functions = ai_numberCalculationFunctions();
for (SS map : listPlus(data.completeGoodMappings, null)) {
if (empty(functions)) null;
L numbers = ll(parseDouble(getOrKeep(map, var1)),
parseDouble(getOrKeep(map, var2)));
double result = parseDouble(getOrKeep(map, var3));
print("Checking map: " + map + " - " + numbers + " -> " + result);
functions = filter(functions, func(S f) -> bool {
ai_checkNumberCalculationFunction1(f,
numbers,
result)
});
print("Remaining functions: " + functions);
}
ret ll(format("compute var " + quote(var3) + " from " + quote(var1) + " and " + quote(var2) + " using *", first(functions)));
}