rnd.cpp
Go to the documentation of this file.00001 /* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */ 00002 /* 00003 * Main authors: 00004 * Christian Schulte <schulte@gecode.org> 00005 * Mikael Lagerkvist <lagerkvist@gecode.org> 00006 * 00007 * Copyright: 00008 * Christian Schulte, 2008 00009 * Mikael Lagerkvist, 2008 00010 * 00011 * This file is part of Gecode, the generic constraint 00012 * development environment: 00013 * http://www.gecode.org 00014 * 00015 * Permission is hereby granted, free of charge, to any person obtaining 00016 * a copy of this software and associated documentation files (the 00017 * "Software"), to deal in the Software without restriction, including 00018 * without limitation the rights to use, copy, modify, merge, publish, 00019 * distribute, sublicense, and/or sell copies of the Software, and to 00020 * permit persons to whom the Software is furnished to do so, subject to 00021 * the following conditions: 00022 * 00023 * The above copyright notice and this permission notice shall be 00024 * included in all copies or substantial portions of the Software. 00025 * 00026 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 00027 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 00028 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 00029 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE 00030 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION 00031 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION 00032 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 00033 * 00034 */ 00035 00036 #include <gecode/kernel.hh> 00037 00038 namespace Gecode { 00039 00040 Support::Mutex Rnd::IMP::m; 00041 00042 forceinline 00043 Rnd::IMP::IMP(unsigned int s) 00044 : rg(s) {} 00045 00046 Rnd::IMP::~IMP(void) {} 00047 00048 forceinline void 00049 Rnd::_seed(unsigned int s) { 00050 if (object() == NULL) { 00051 object(new IMP(s)); 00052 } else { 00053 static_cast<IMP*>(object())->seed(s); 00054 } 00055 } 00056 00057 Rnd::Rnd(void) {} 00058 Rnd::Rnd(unsigned int s) { 00059 object(new IMP(s)); 00060 } 00061 Rnd::Rnd(const Rnd& r) 00062 : SharedHandle(r) {} 00063 Rnd& 00064 Rnd::operator =(const Rnd& r) { 00065 (void) SharedHandle::operator =(r); 00066 return *this; 00067 } 00068 Rnd::~Rnd(void) {} 00069 00070 void 00071 Rnd::seed(unsigned int s) { 00072 _seed(s); 00073 } 00074 void 00075 Rnd::time(void) { 00076 _seed(static_cast<unsigned int>(::time(NULL))); 00077 } 00078 void 00079 Rnd::hw(void) { 00080 _seed(Support::hwrnd()); 00081 } 00082 } 00083 00084 // STATISTICS: kernel-other