Warning: session_start(): open(/var/lib/php/sessions/sess_1pu8i576s84lhbeeo0vndgkgig, 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 IStackWithOptions extends IVStack { // declare a choice point for backtracking // (or a probabilistic choice point if it's a PStack) default void options(B currentFrame, IVF1... options) { options(currentFrame, arrayIterator(options)); } void options(B currentFrame, Iterable> options); // if options list is empty, return null void optionsOrReturn(B currentFrame, Iterable> options); }