Meaning

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

Translations

1 languages

Forms

plural: loop invariants
Singularloop invariant
Pluralloop invariants

regular

See also

neighbours in the dictionary
loop invariant — meaning, examples, forms, synonyms | Krumeto