/usr/include/CGAL/Random_impl.h is in libcgal-dev 4.11-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 | // Copyright (c) 1997-2001
// Utrecht University (The Netherlands),
// ETH Zurich (Switzerland),
// INRIA Sophia-Antipolis (France),
// Max-Planck-Institute Saarbruecken (Germany),
// and Tel-Aviv University (Israel). All rights reserved.
//
// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 3 of the License,
// or (at your option) any later version.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL$
// $Id$
//
//
// Author(s) : Sven Schönherr <sven@inf.ethz.ch>
#ifdef CGAL_HEADER_ONLY
#define CGAL_INLINE_FUNCTION inline
#else
#define CGAL_INLINE_FUNCTION
#endif
#include <ctime>
#include <iostream>
#include <sstream>
namespace CGAL {
// Class implementation (continued)
// ================================
// constructors
CGAL_INLINE_FUNCTION
Random::
Random()
: val(0)
{
// get system's time
std::time_t s;
std::time( &s);
seed = (unsigned int)s;
// initialize random numbers generator
rng.seed(static_cast<boost::int32_t>(seed));
random_value = get_int(0, 1<<15);
}
CGAL_INLINE_FUNCTION
Random::
Random(internal::Random_print_seed)
: val(0)
{
// get system's time
std::time_t s;
std::time( &s);
seed = (unsigned int)s;
std::cerr << "CGAL::Random()::get_seed() = " << seed << std::endl;
// initialize random numbers generator
rng.seed(static_cast<boost::int32_t>(seed));
random_value = get_int(0, 1<<15);
}
CGAL_INLINE_FUNCTION
Random::
Random( unsigned int seed)
: val(0), seed(seed)
{
// initialize random numbers generator
rng.seed(static_cast<boost::int32_t>(seed));
random_value = get_int(0, 1<<15);
}
// seed
CGAL_INLINE_FUNCTION
unsigned int
Random::get_seed () const
{
return seed;
}
// state
CGAL_INLINE_FUNCTION
void
Random::save_state( Random::State& state) const
{
std::ostringstream os;
os << rng;
state = Random::State(os.str(),random_value, val, seed);
}
CGAL_INLINE_FUNCTION
void
Random::restore_state( const Random::State& state)
{
std::istringstream is(state.rng);
is >> rng;
random_value = state.random_value;
val = state.val;
seed = state.seed;
}
} //namespace CGAL
|