Warning: session_start(): open(/var/lib/php/sessions/sess_3bng5nt6kmf7pfjlbm7lh5f5cu, 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
sclass Best {
A best;
double score;
transient O onChange;
bool isNewBest(double score) {
ret best == null || score > this.score;
}
double bestScore() {
ret best == null ? Double.NaN : score;
}
double score() { ret bestScore(); }
bool put(A a, double score) {
if (a != null && isNewBest(score)) {
best = a;
this.score = score;
pcallF(onChange);
ret true;
}
ret false;
}
A get() { ret best; }
bool has() { ret best != null; }
Pair pair() { ret pair(best, bestScore()); }
}