ILIAS  release_8 Revision v8.23
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
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...
Definition: GivenSeed.php:21
ILIAS\Refinery\Random\Seed\Seed\seedRandomGenerator
seedRandomGenerator()
Seeds a random number generator.