2020-03-14 18:26:20 +00:00
|
|
|
<?php
|
|
|
|
|
2021-02-18 10:14:36 +00:00
|
|
|
/** @generate-class-entries */
|
2020-04-25 17:08:53 +00:00
|
|
|
|
2020-03-14 18:26:20 +00:00
|
|
|
class SplPriorityQueue implements Iterator, Countable
|
|
|
|
{
|
2023-10-07 12:14:57 +00:00
|
|
|
/** @cvalue SPL_PQUEUE_EXTR_BOTH */
|
|
|
|
public const int EXTR_BOTH = UNKNOWN;
|
|
|
|
/** @cvalue SPL_PQUEUE_EXTR_PRIORITY */
|
|
|
|
public const int EXTR_PRIORITY = UNKNOWN;
|
|
|
|
/** @cvalue SPL_PQUEUE_EXTR_DATA */
|
|
|
|
public const int EXTR_DATA = UNKNOWN;
|
2022-08-02 14:37:12 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function compare(mixed $priority1, mixed $priority2): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2024-01-15 10:09:38 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function insert(mixed $value, mixed $priority): true {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function setExtractFlags(int $flags): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function top(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function extract(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::count
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function count(): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::isEmpty
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function isEmpty(): bool {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::rewind
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function rewind(): void {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function current(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::key
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function key(): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::next
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function next(): void {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::valid
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function valid(): bool {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2024-01-15 10:09:38 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::recoverFromCorruption
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2024-01-15 10:09:38 +00:00
|
|
|
public function recoverFromCorruption(): true {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2020-04-25 17:08:53 +00:00
|
|
|
/**
|
2021-07-13 14:04:34 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias SplHeap::isCorrupted
|
2020-04-25 17:08:53 +00:00
|
|
|
*/
|
2021-07-13 14:04:34 +00:00
|
|
|
public function isCorrupted(): bool {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function getExtractFlags(): int {}
|
2020-04-06 10:03:01 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function __debugInfo(): array {}
|
2020-03-14 18:26:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
abstract class SplHeap implements Iterator, Countable
|
|
|
|
{
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function extract(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
2024-01-15 10:09:38 +00:00
|
|
|
public function insert(mixed $value): true {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function top(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function count(): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function isEmpty(): bool {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function rewind(): void {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function current(): mixed {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function key(): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function next(): void {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function valid(): bool {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
2024-01-15 10:09:38 +00:00
|
|
|
public function recoverFromCorruption(): true {}
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
abstract protected function compare(mixed $value1, mixed $value2): int;
|
2020-03-14 18:26:20 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function isCorrupted(): bool {}
|
2020-04-06 10:03:01 +00:00
|
|
|
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
public function __debugInfo(): array {}
|
2020-03-14 18:26:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
class SplMinHeap extends SplHeap
|
|
|
|
{
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
protected function compare(mixed $value1, mixed $value2): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
class SplMaxHeap extends SplHeap
|
|
|
|
{
|
2021-07-13 14:04:34 +00:00
|
|
|
/** @tentative-return-type */
|
|
|
|
protected function compare(mixed $value1, mixed $value2): int {}
|
2020-03-14 18:26:20 +00:00
|
|
|
}
|