Torna alla pagina di Algoritmi e strutture dati
:: Algoritmi e strutture dati - Specifiche ::
Vettori
Sintassi
- creavettore: () -> vettore
- leggivettore: (vettore, intero) -> tipoelem
- scrivivettore: (vettore, intero, tipoelem) -> vettore
Semantica
- creavettore= v
Post: per ogni i, 1≤i≤n, l' i-esimo elemento v(i) è uguale ad un certo elemento di tipo tipoelem;
- leggivettore(v, i) = e
Pre: 1≤i≤n
Post: e = v(i)
- scrivivettore(v, i, e) = v'
Pre: 1≤i≤n
Post: v'(i) = e, v'(j) = v(j), per ogni 1≤j≤n e j≠i
Implementazione in C++
- creavettore: tipoelem v[n];
- leggivettore: v[i];
- scrivivettore: v[i] = e;
Torna alla pagina di Algoritmi e strutture dati
