| 96 | } |
| 97 | |
| 98 | std::string |
| 99 | DefaultRndNumGenerator::get_prefixed_name(const std::string &name) |
| 100 | { |
| 101 | return name; |
| 102 | } |
| 103 | |
| 104 | void |
| 105 | DefaultRndNumGenerator::add_number(int v, int bound, int k) |
nothing calls this directly
no outgoing calls
no test coverage detected