loop variant

decreasing function used to proof termination of a loop

en-US/ˈlup ˈvɛɹiənt/
en-GB/ˈluːp ˈvɛəɹɪənt/

ক্যাটাগরি:

decreasing function