random.hh 1.6 KB
 Alexandre Duret-Lutz committed Nov 12, 2004 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ``````// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. // // Spot is free software; you can redistribute it and/or modify it // under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // Spot is distributed in the hope that it will be useful, but WITHOUT // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY // or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public // License for more details. // // You should have received a copy of the GNU General Public License // along with Spot; see the file COPYING. If not, write to the Free // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA // 02111-1307, USA. namespace spot { `````` Alexandre Duret-Lutz committed Nov 17, 2004 24 25 26 27 `````` /// \addtogroup random Random functions /// \ingroup misc_tools /// @{ `````` Alexandre Duret-Lutz committed Nov 12, 2004 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 `````` /// \brief Reset the seed of the pseudo-random number generator. /// /// \see drand, mrand, rrand void srand(unsigned int seed); /// \brief Compute a pseudo-random integer value between \a min and /// \a max included. /// /// \see drand, mrand, srand int rrand(int min, int max); /// \brief Compute a pseudo-random integer value between 0 and /// \a max-1 included. /// /// \see drand, rrand, srand int mrand(int max); /// \brief Compute a pseudo-random double value /// between 0.0 and 1.0 (1.0 excluded). /// /// \see mrand, rrand, srand double drand(); `````` Alexandre Duret-Lutz committed Nov 17, 2004 50 51 `````` /// @} `````` Alexandre Duret-Lutz committed Nov 12, 2004 52 ``}``