| 203 | } |
| 204 | |
| 205 | void |
| 206 | SimpleDeltaRndNumGenerator::switch_to_default_generator() |
| 207 | { |
| 208 | if (DeltaMonitor::no_delta_reduction() || rand_depth_ < impl_->random_point_ || impl_->filter_depth_ != 0) |
| 209 | return; |
| 210 | |
| 211 | //RNDNUM_GENERATOR old; |
| 212 | //old = RandomNumber::SwitchRndNumGenerator(rDefaultRndNumGenerator); |
| 213 | RandomNumber::SwitchRndNumGenerator(rDefaultRndNumGenerator); |
| 214 | DefaultRndNumGenerator *generator = dynamic_cast<DefaultRndNumGenerator*>(RandomNumber::GetRndNumGenerator()); |
| 215 | generator->set_rand_depth(impl_->rand_depth_); |
| 216 | } |
| 217 | |
| 218 | void |
| 219 | SimpleDeltaRndNumGenerator::OutputStatistics(ostream &out) |
nothing calls this directly
no test coverage detected