| 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 |