ILIAS
trunk Revision v12.0_alpha-377-g3641b37b9db
◀ ilDoc Overview
Seed.php
Go to the documentation of this file.
1
<?php
2
19
declare(strict_types=1);
20
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
Definition:
GivenSeed.php:21
components
ILIAS
Refinery
src
Random
Seed
Seed.php
Generated on Sat Dec 13 2025 23:02:50 for ILIAS by
1.9.4 (using
Doxyfile
)