noun ·Rare ·Advanced level

Definitions

Noun

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

Synonyms

All synonyms

invariant propertyprogram invariantspanish invarianteverification invariant

Antonyms

All antonyms

changevariant