loop variant

decreasing function used to proof termination of a loop

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

分类：

decreasing function