Correttezza di IntSet 1

public class IntSet {

private Vector els; // la rappresentazione

// la funzione di astrazione

// a(c) = { c.els.get(i).intValue() |

0 <= i < c.els.size() }

public IntSet ()

// EFFECTS: inizializza this a vuoto

{els = new Vector();}

• l’astrazione di un vettore vuoto è proprio l’insieme vuoto

Previous slide

Next slide

Back to first slide

View graphic version