src/edh/cantor/val2seq/lib.hpp
| Line | Branch | Exec | Source |
|---|---|---|---|
| 1 | #pragma once | ||
| 2 | |||
| 3 | #include "../../../comb/seq/fact/lib.hpp" | ||
| 4 | |||
| 5 | namespace tifa_libs { | ||
| 6 | |||
| 7 | 71 | CEXP vecu cantor_val2seq(u64 cv, spnuu fact) NE { | |
| 8 | 71 | cu32 n = (u32)fact.size(); | |
| 9 | 71 | vecu s; | |
| 10 | 71 | s.reserve(n), --cv; | |
| 11 |
2/2✓ Branch 3 taken 353 times.
✓ Branch 4 taken 71 times.
|
424 | for (u32 i = 0; i < n; cv %= fact[n - i - 1], ++i) s.push_back(u32(cv / fact[n - i - 1])); |
| 12 | 71 | return s; | |
| 13 | } | ||
| 14 | CEXP vecu cantor_val2seq(u64 cv, u32 n) NE { return cantor_val2seq(cv, gen_fact(n, -1_u64)); } | ||
| 15 | |||
| 16 | } // namespace tifa_libs | ||
| 17 |