DictionaryAI

loop invariant

Short definition from Wiktionary

Noun

  1. an invariant that should be true on entry into a loop and is guaranteed to remain true on every iteration of the loop

We haven’t written up loop invariant yet: Simple and Standard meanings, examples and a quiz.