Invariant (informatika): Porovnání verzí
Smazaný obsah Přidaný obsah
mBez shrnutí editace |
|||
Řádek 2:
'''Invariant''' je podmínka v [[algoritmus|algoritmu]], která musí být splněna po celou dobu běhu programu.
'''Invariant cyklu''' je mezilehlá podmínka v [[algoritmus|algoritmu]], která musí být splněna před vykonáním a po vykonání každého průchodu [[cyklus|cyklem]].<ref>{{Citace elektronické monografie
| příjmení = McCloskey
| jméno = Robert
| |||