Warning: session_start(): open(/var/lib/php/sessions/sess_l8i0qvdnb3fnketu6erqa6se8l, 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
interface IG22MasksHolder { WidthAndHeight maskSize(); L maskImages(); //LPair maskImagesWithLabels(); L> masks(); FloatBWImage ghost(); double certainty(); default int nMasks() { ret l(masks()); } default S renderCountAndCertainty() { ret main nMasks(nMasks()) + " with c=" + formatDouble3(certainty()); } default bool canSplit() { ret nMasks() > 1; } default L> subHolders() { null; } default void transformSubHolders(IF1> f) {} }