loop variant

decreasing function used to proof termination of a loop

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

Kategorier:

decreasing function