Warning: session_start(): open(/var/lib/php/sessions/sess_tl3rs7u5qm65s13ljohs3elb14, 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
static Iterable allWordsOfAlphabet_fixedLength(fS alphabet, final int length) {
ret new IterableIterator() {
L l = rep((Int) 0, length);
public bool hasNext() {
ret true; // haha!
}
public S next() {
S s = makeString();
int i = 0;
while (i < l(l)) {
int n = l.get(i);
if (n+1 < l(alphabet)) {
l.set(i, n+1);
break;
}
l.set(i++, 0);
}
if (i >= l(l)) null;
ret s;
}
S makeString() {
StringBuilder buf = new StringBuilder(l(l));
for (int i = 0; i < l(l); i++)
buf.append(alphabet.charAt(l.get(i)));
ret str(buf);
}
};
}