Warning: session_start(): open(/var/lib/php/sessions/sess_jpjsa25ik4sgi8iueph4qldait, 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 Best> video_scoreRectAndState_step(Best> best, L images, F1 recognizer, O... _) {
double tolerance = first(images).image.getWidth()/2.0;
new Scorer scorer;
for (RGBImageRectAndState i : images)
video_scoreRectAndState(scorer, i.rect, i.state, recognizer.get(i.image), tolerance);
if (optPar(_, print := true))
best.putAndPrintIfNewBest(recognizer, scorer!);
else
best.put(recognizer, scorer!);
ret best;
}