Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
integer(kind=int64), | intent(in) | :: | V(:) |
pure function is_set_integer_int64 (V) result(res)
integer (int64), intent(in) :: V(:)
logical :: res
integer(int64) :: previous
integer :: i
res = is_sorted(V)
if (res) then
if (size(V) > 0) previous = V(1)
do i = 2, size(V)
if (V(i) == previous) then
res = .false.
return
else
previous = V(i)
end if
end do
end if
end function is_set_integer_int64