equal
  deleted
  inserted
  replaced
  
    
    
   657       return true;  | 
   657       return true;  | 
   658     }  | 
   658     }  | 
   659   | 
   659   | 
   660     /// @}  | 
   660     /// @}  | 
   661   | 
   661   | 
   662     ///\name Uniform distributions  | 
   662     ///\name Uniform Distributions  | 
   663     ///  | 
   663     ///  | 
   664     /// @{ | 
   664     /// @{ | 
   665   | 
   665   | 
   666     /// \brief Returns a random real number from the range [0, 1)  | 
   666     /// \brief Returns a random real number from the range [0, 1)  | 
   667     ///  | 
   667     ///  | 
   760       return bool_producer.convert(core);  | 
   760       return bool_producer.convert(core);  | 
   761     }  | 
   761     }  | 
   762   | 
   762   | 
   763     /// @}  | 
   763     /// @}  | 
   764   | 
   764   | 
   765     ///\name Non-uniform distributions  | 
   765     ///\name Non-uniform Distributions  | 
   766     ///  | 
   766     ///  | 
   767     ///@{ | 
   767     ///@{ | 
   768   | 
   768   | 
   769     /// \brief Returns a random bool with given probability of true result.  | 
   769     /// \brief Returns a random bool with given probability of true result.  | 
   770     ///  | 
   770     ///  | 
   936       return k-1;  | 
   936       return k-1;  | 
   937     }  | 
   937     }  | 
   938   | 
   938   | 
   939     ///@}  | 
   939     ///@}  | 
   940   | 
   940   | 
   941     ///\name Two dimensional distributions  | 
   941     ///\name Two Dimensional Distributions  | 
   942     ///  | 
   942     ///  | 
   943     ///@{ | 
   943     ///@{ | 
   944   | 
   944   | 
   945     /// Uniform distribution on the full unit circle  | 
   945     /// Uniform distribution on the full unit circle  | 
   946   | 
   946   |