src/core/random_func.hpp
branchnoai
changeset 10455 22c441f5adf9
parent 9869 6404afe43575
child 11126 72d4c9314c72
equal deleted inserted replaced
10412:ef44f62cb8b9 10455:22c441f5adf9
     1 /* $Id$ */
     1 /* $Id$ */
     2 
     2 
     3 /** @file random_func.hpp */
     3 /** @file random_func.hpp Pseudo random number generator. */
     4 
     4 
     5 #ifndef RANDOM_FUNC_HPP
     5 #ifndef RANDOM_FUNC_HPP
     6 #define RANDOM_FUNC_HPP
     6 #define RANDOM_FUNC_HPP
     7 
     7 
     8 #if defined(__APPLE__)
     8 #if defined(__APPLE__)