1 | <?php |
||
15 | class PreImage |
||
16 | { |
||
17 | /** |
||
18 | * @var int |
||
19 | */ |
||
20 | public $index = 0; |
||
21 | |||
22 | /** |
||
23 | * @var array |
||
24 | */ |
||
25 | public $classes = []; |
||
26 | |||
27 | /** |
||
28 | * @var int |
||
29 | */ |
||
30 | public $length = 0; |
||
31 | |||
32 | /** |
||
33 | * PreImage constructor. |
||
34 | * |
||
35 | * @param int $index |
||
36 | */ |
||
37 | public function __construct(int $index) |
||
41 | |||
42 | /** |
||
43 | * @param PreImage $x |
||
44 | * @param PreImage $y |
||
45 | * |
||
46 | * @return int |
||
47 | */ |
||
48 | public static function compare(self $x, self $y): int |
||
62 | } |
||
63 |