| 411 | } |
| 412 | |
| 413 | void Player::SetRandomGenerator( const LongRandPtr& random_generator ) |
| 414 | { |
| 415 | random_generator_= random_generator; |
| 416 | } |
| 417 | |
| 418 | bool Player::TryActivateProcedure( const unsigned int proc_number, const Time current_time ) |
| 419 | { |
no outgoing calls
no test coverage detected