{ parent::__destruct(); } /** * Returns the next random number. * * @return float The next random number. */ public function next() { return -$this->mu * log(RandomNumberGenerator::next()); } //}>a /** * Main program. * * @param array $args Command-line arguments. * @return integer Zero on success; non-zero on failure. */ public static function main($args) { printf("ExponentialRV main program.\n"); $status = 0; $rv = new ExponentialRV(100.0); AbstractRandomVariable::test($rv); return $status; } } if (realpath($argv[0]) == realpath(__FILE__)) { exit(ExponentialRV::main(array_slice($argv, 1))); }