Manual:ISearchResultSet.php