Warning: session_start(): open(/var/lib/php/sessions/sess_eq63q3nh3rfo28v8flhgo0js0c, 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 AverageAndMinMax > Average { gettable double min = infinity(); gettable double max = negativeInfinity(); void add(double d) { super.add(d); if (d < min) min = d; if (d > max) max = d; } toString { ret super.toString() + (isEmpty() ? "" : ", min/max=" + min + "/" + max); } } }