| 403 | } |
| 404 | |
| 405 | void |
| 406 | DFSRndNumGenerator::init_states(int size) |
| 407 | { |
| 408 | for (int i = 0; i < size; ++i) { |
| 409 | DFSRndNumGenerator::SearchState *state = new SearchState(i); |
| 410 | assert(state && "new SearchState: error!"); |
| 411 | states_.push_back(state); |
| 412 | } |
| 413 | } |
| 414 | |
| 415 | void |
| 416 | DFSRndNumGenerator::reset_state(void) |
nothing calls this directly
no outgoing calls
no test coverage detected