00001 /** 00002 * \file random.h \brief Random number generators used by IMP. 00003 * 00004 * Copyright 2007-2010 IMP Inventors. All rights reserved. 00005 * 00006 */ 00007 00008 #ifndef IMP_RANDOM_H 00009 #define IMP_RANDOM_H 00010 00011 #include <boost/random.hpp> 00012 #include "base_types.h" 00013 00014 IMP_BEGIN_NAMESPACE 00015 00016 typedef ::boost::rand48 RandomNumberGenerator; 00017 //! A shared random number generator 00018 /** The random number generator is seeded based of of the current time. To 00019 provide a better seed or use a constant seed call 00020 random_number_generator.seed(x) with a 32 bit int or a 64 bit unsigned int. 00021 00022 This generator can be used by the 00023 \external{www.boost.org/doc/libs/1_39_0/libs/random/index.html, Boost.Random} 00024 distributions. 00025 */ 00026 extern IMPEXPORT RandomNumberGenerator random_number_generator; 00027 00028 IMP_END_NAMESPACE 00029 00030 #endif /* IMP_RANDOM_H */