Warning: session_start(): open(/var/lib/php/sessions/sess_vtvkr2rq2qa4hnlb3enke99ja7, 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 BigInt combinationsForPositionalParser(int positions, IF1> skipsFromPosition, O... _) {
optPar bool debug;
Map combinationsFromPosition = autoTreeMap(() -> bigint(1));
for (int i = positions-1; i >= 0; i--) {
BigInt combinations = bigint(0);
fOr (int skip : skipsFromPosition.get(i))
combinations = plus(combinations, combinationsFromPosition.get(i+skip));
if (debug)
print("Combinations from " + i + ": " + combinations);
combinationsFromPosition.put(i, combinations);
}
ret combinationsFromPosition.get(0);
}