ILIAS
release_9 Revision v9.13-25-g2c18ec4c24f
◀ 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:23
ILIAS\Refinery\Random\Seed
Definition:
GivenSeed.php:21
ILIAS\Refinery\Random\Seed\Seed\seedRandomGenerator
seedRandomGenerator()
Seeds a random number generator.
src
Refinery
Random
Seed
Seed.php
Generated on Wed Sep 10 2025 14:12:07 for ILIAS by
1.8.13 (using
Doxyfile
)