Invariant (informatika): Porovnání verzí
Smazaný obsah Přidaný obsah
Robot: Opravuji 1 zdrojů and označuji 0 zdrojů jako nefunkční #IABot (v2.0beta15) |
→Jednoduchý příklad invariantu: Přefrázování věty, oprava typografie, formátování. |
||
Řádek 11:
== Jednoduchý příklad invariantu ==
Nejprve malý příklad pro ukázání, co to invariant vlastně je
| příjmení = Wisman
| jméno = Raymond
Řádek 23:
}}</ref>
int i = 0;
while( i < 10 ) {
i++;
}
// i = 10
Podmínkou, která platí na začátku i na konci každého průchodu cyklem,
== Definice ==
|