ILIAS
release_8 Revision v8.24
◀ ilDoc Overview
Seed.php
Go to the documentation of this file.
1
<?php
2
3
declare(strict_types=1);
4
21
namespace
ILIAS\Refinery\Random\Seed
;
22
23
interface
Seed
24
{
29
public
function
seedRandomGenerator
(): void;
30
}
ILIAS\Refinery\Random\Seed\Seed
Definition:
Seed.php:24
ILIAS\Refinery\Random\Seed\Seed\seedRandomGenerator
seedRandomGenerator()
Seeds a random number generator.
ILIAS\Refinery\Random\Seed
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...
Definition:
GivenSeed.php:21
src
Refinery
Random
Seed
Seed.php
Generated on Sun Nov 2 2025 22:02:00 for ILIAS by
1.9.4 (using
Doxyfile
)