Correttezza dell’implementazione
se vogliamo dimostrare che le implementazioni dei metodi soddisfano le rispettive specifiche
- non possiamo utilizzare la metodologia appena vista
l’implementazione utilizza la rappresentazione
- nel caso di IntSet
- private Vector els;
le specifiche esprimono proprietŕ dell’astrazione
public boolean isIn (int x)
// EFFECTS: se x appartiene a this ritorna
// true, altrimenti false
č necessario mettere in relazione tra loro i due “insiemi di valori”