| 451 | } |
| 452 | |
| 453 | unsigned int |
| 454 | DFSRndNumGenerator::rnd_upto(const unsigned int n, const Filter *f, const std::string *where) |
| 455 | { |
| 456 | int x = random_choice(n, f, where); |
| 457 | assert(x == -1 || (x >= 0 && x < static_cast<int>(n))); |
| 458 | return x; |
| 459 | } |
| 460 | |
| 461 | bool |
| 462 | DFSRndNumGenerator::rnd_flipcoin(const unsigned int n, const Filter *f, const std::string *where) |
nothing calls this directly
no outgoing calls
no test coverage detected