Warning: session_start(): open(/var/lib/php/sessions/sess_lr4m70k1o0fapcgfemqoplbaq6, 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
// always keeps a dynamically updated list of the n most probable
// results
srecord noeq PSCollectMostProbable(IProbabilisticScheduler ps,
int maxResults,
IVF1> action) {
TreeSetWithDuplicates> results = new(reverseComparator());
void add(WithProbability> result) {
if (result == null) ret;
results.add(result);
truncateTreeSetWithDuplicates(results, maxResults);
}
selfType run() {
action.get(result -> add(WithProbability(ps.currentProbability(), result));
this;
}
// results sorted by probability. instant
Set> results() {
ret results;
}
}