Begizta inbariante
Informatikan, begizta inbariante bat ordenagailu-programa baten begizta bat exekutatu aurretik eta ondoren betetzen den propietatea da. Inbariantea asertzio logikoa da, batzuetan asertzio dei baten kodea erabiliz egiaztatzen dena. Begizta baten inbariantea ezagutzea ezinbestekoa da begiztak duen efektua ondo ulertu ahal izateko.

Adibidea 

int max(int n, const int a[]) {
    int m = a[0];
    // m baldin bada a[0...0] duen gehienezko balioa
    int i = 1;
    while (i != n) {
        // m baldin bada a[0...i-1] duen gehienezko balioa
        if (m < a[i])
            m = a[i];
        // m baldin bada a[0...i] duen gehienezko balioa
        ++i;
        // m baldin bada a[0...i-1] duen gehienezko balioa
    }
    // m baldin bada a[0...i-1] duen gehienezko balioa, eta i==n
    return m;
}

Kanpo estekak 

Software ingeniaritza
Programazioa
Programazio hizkuntzen gaiak
Kontrol egiturak
Informatikan , begizta inbariante bat ordenagailu-programa baten begizta bat exekutatu aurretik eta ondoren betetzen den propietatea da . Inbariantea asertzio logikoa da , batzuetan asertzio dei baten kodea erabiliz egiaztatzen dena . Begizta baten inbariantea ezagutzea ezinbestekoa da begiztak duen efektua ondo ulertu ahal izateko . Adibidea int max( int n , const int a [ ] ) { int m = a[0 ] ; / / m baldin bada a [ 0...0 ] duen gehienezko balioa int i = while ( i != n ) { // m baldin bada a[ 0...i-1 ] duen gehienezko balioa if ( m < a[ i ] ) m = a[i ] ; / / m baldin bada a [ 0...i ] duen gehienezko balioa ++i ; / / m baldin bada a[ 0...i-1 ] duen gehienezko balioa } / / m baldin bada a[ 0...i-1 ] duen gehienezko balioa , eta i==n return m ; } Kanpo estekak Software ingeniaritza Programazioa Programazio hizkuntzen gaiak Kontrol egiturak