invariant

Average Rating
0 out of 5 stars. 0 votes.

invariant

this is an assertion that expresses a relationship between variables that will remain constant through iterations of the loop