Correttezza di IntSet 1

public class IntSet {

private Vector els; // la rappresentazione

// I(c) = c.els != null e

// per ogni intero i, c.els.get(i) è un Integer

// e per tutti gli interi i,j, tali che

// 0 <= i < j < c. els.size(),

// c.els.get(i).intValue() !=

// c.els.get(j).intValue()

public IntSet ()

{els = new Vector();}

• il costruttore soddisfa l’invariante perché restituisce un Vector vuoto

Previous slide

Next slide

Back to first slide

View graphic version