Dimostrariamo una proprietà di IntSet 1

public class IntSet {

// OVERVIEW: un IntSet è un insieme modificabile

// di interi di dimensione qualunque

public IntSet ()

// EFFECTS: inizializza this a vuoto

public void insert (int x)

// MODIFIES: this

// EFFECTS: aggiunge x a this

public void remove (int x)

// MODIFIES: this

// EFFECTS: toglie x da this

• vogliamo dimostrare che per ogni IntSet la sua size è >= 0

• basta convincerci che questo è vero per i costruttori ed i modificatori

Previous slide

Next slide

Back to first slide

View graphic version