[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] finding a minimum value in an array greater than somegiven value
I am trying to find the minimum value in an array which is greater than some
Also if there are duplicate the function should return the element with the
All this needs to be done recursively.
Say i have an array of unsorted integers
[8 9 5 6 7 2 1 4 3 1]
if the given value is 0
then the function should return the index 9
Any help would be greatly appreciated.