Correttezza di IntSet 3

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 void remove (int x)

// MODIFIES: this

// EFFECTS: toglie x da this

{int i = getIndex(new Integer(x));

if (i < 0) return;

els.set(i, els.lastElement());

els.remove(els.size() - 1);}

• se x non occorre nel vettore non fa niente

  • corretto perché in base alla funzione di astrazione x non appartiene all’insieme

• se x occorre nel vettore lo rimuove

  • e quindi in base alla funzione di astrazione x non appartiene all’insieme modificato

Previous slide

Back to first slide

View graphic version