La funzione di astrazione 2
la funzione di astrazione è generalmente una funzione molti-a-uno
// OVERVIEW: un IntSet è un insieme modificabile
// di interi di dimensione qualunque
private Vector els; // la rappresentazione
- piú stati concreti (vettori di interi) vengono portati nello stesso stato astratto (insieme )
- a ([1,2]) = {1,2}
- a ([2,1]) = {1,2}
la funzione di astrazione deve sempre essere definita ed inserita come commento all’implementazione
- perché è una parte importante delle decisioni relative all’implementazione
L’oggetto da rappresentare può essere descritto da un oggetto astratto tipico della classe dato nella OVERVIEW della specifica. Possiamo usare la notazione matematica e la notazione del linguaggio di programmazione con opportune abbreviazioni.