invariant
A promise that stays true at each step of an algorithm.
A condition that holds before every iteration of a loop, used to argue the loop is correct.
See also
A promise that stays true at each step of an algorithm.
A condition that holds before every iteration of a loop, used to argue the loop is correct.
See also