Warning: session_start(): open(/var/lib/php/sessions/sess_f3kkluu3r0vgc0nno7a0tebl8l, 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 Splitter2 {
HashMap> map = new HashMap;
// may return null if unknown
B get(A a) {
MultiSet ms = map.get(a);
ret ms == null ? null : ms.getMostPopularEntry();
}
void learn(A a, B b) {
MultiSet ms = map.get(a);
if (ms == null) map.put(a, ms = new MultiSet);
ms.add(internIfString(b));
}
void unlearn(A a, B b) {
MultiSet ms = map.get(a);
if (ms == null) ret;
ms.remove(b);
if (empty(ms)) map.remove(a);
}
void clear { map.clear(); }
}