---

Rep del TDA Vector_Disperso

Invariante de la representación

Un objeto válido rep del TDA Vector_Dinamico debe cumplir

• rep.nelementos>= 0
• rep.reservados>= rep.nelementos
• rep.datos apunta a una zona de memoria con capacidad para albergar rep.reservados valores de tipo Elemento
• 0<=rep.datos[i].indice<rep.datos[j].indice para todo i,j tal que 0<=i<j<rep.nelementos

Función de abstracción

Un objeto válido rep del TDA Vector_Disperso representa al vector

{ ( rep.datos[0].indice, rep.datos[0].valor ), ..., ( rep.datos[rep.nelementos-1].indice, rep.datos[rep.nelementos-1].valor ), (*, rep.valor_por_defecto) }

---