boinc/html/inc/bolt_rnd.inc

76 lines
2.4 KiB
PHP
Raw Normal View History

<?php
// This file is part of BOINC.
// http://boinc.berkeley.edu
// Copyright (C) 2008 University of California
//
// BOINC is free software; 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.
//
// BOINC 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 Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with BOINC. If not, see <http://www.gnu.org/licenses/>.
class BoltRandom extends BoltSet {
public $units;
function __construct($name, $units, $number, $attrs) {
parent::__construct($name, $units, $number, $attrs);
}
function order(&$iter) {
$state_rec = $iter->state[$this->name];
if ($state_rec) {
if (array_key_exists('seed', $state_rec)) {
$seed = $state_rec['seed'];
} else {
$seed = ((double)microtime()*1000000);
$state_rec['seed'] = $seed;
$iter->state[$this->name] = $state_rec;
}
} else {
$state_rec = $this->init();
$seed = ((double)microtime()*1000000);
$state_rec['seed'] = $seed;
$iter->state[$this->name] = $state_rec;
}
srand($seed);
shuffle($this->units);
$this->ordered = true;
}
}
function random() {
$args = func_get_args();
$units = array();
$name = "";
$number = 0;
$attrs = null;
foreach ($args as $arg) {
if (is_array($arg)) {
switch ($arg[0]) {
case 'name': $name = $arg[1]; break;
case 'title': $title = $arg[1]; break;
case 'number': $number = $arg[1]; break;
case 'attrs': $attrs = $arg[1]; break;
default: echo "Unrecognized array arg: ", $arg[0], "\n"; break;
}
} else if (is_object($arg)) {
if (is_subclass_of($arg, "BoltUnit")) {
$units[] = $arg;
} else {
echo "Unrecognized arg: ";
print_r($arg);
}
}
}
if ($number == 0) $number = count($units);
return new BoltRandom($name, $units, $number, $attrs);
}
?>