FilteredResult.php

Go to the documentation of this file.

<?php
 
declare(strict_types=1);
 
namespace ILIAS\Search\Result\Filter;
 
use Iterator;
 
interface FilteredResult extends Iterator
{
    public function current(): int;
 
    public function isResultComplete(): bool;
}