Relay onto p_is_sorted; see oracle_argsort for why these exist.
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| type(sort_key_buf), | intent(in), | target | :: | keys(:) |
the keys, primary first. |
|
| integer(kind=int64), | intent(in) | :: | nrows |
rows each key describes. |
||
| character(len=*), | intent(in) | :: | proc |
calling procedure, for messages. |
||
| logical, | intent(out) | :: | answer |
whether the rows are ordered. |
subroutine oracle_is_sorted(keys, nrows, proc, answer) type(sort_key_buf), intent(in), target :: keys(:) !! the keys, primary first. integer(int64), intent(in) :: nrows !! rows each key describes. character(len=*), intent(in) :: proc !! calling procedure, for messages. logical, intent(out) :: answer !! whether the rows are ordered. ! call check_oracle(associated(p_is_sorted), proc) call p_is_sorted(keys, nrows, proc, answer) end subroutine oracle_is_sorted