Warning: session_start(): open(/var/lib/php/sessions/sess_obec6nr7uo8kbgio5gadql0oc2, 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 TreeSetWithDuplicates {
TreeSet> internal;
Comparator comparator;
*(Comparator *comparator) {
internal = new TreeSet>((setA, setB) -> {
ret comparator.compare(main first(setA), main first(setB));
});
}
void add(A a) {
Set newSet = lithashset(a);
Set found = navigableSet_find(internal, newSet);
if (found != null) found.add(a);
else internal.add(newSet);
}
void remove(A a) {
Set newSet = lithashset(a);
Set found = navigableSet_find(internal, newSet);
if (found == null) ret;
found.remove(a);
if (empty(found)) internal.remove(found);
}
A first() {
ret main first(main first(internal));
}
}