Warning: session_start(): open(/var/lib/php/sessions/sess_90i5c1q5hqhkgu2qhrodvjunmv, 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 PosNeg { new MultiSet pos; new MultiSet neg; void add(A a, int score) { if (score > 0) pos.add(a, score); else if (score < 0) neg.add(a, -score); } void add(A a, Bool b) { if (isTrue(b)) pos.add(a); else if (isFalse(b)) neg.add(a); } int get(A a) { ret pos.get(a)-neg.get(a); } int score() { ret l(pos)-l(neg); } }