Una diversa implementazione per IntSet 3

public class IntSet {

// OVERVIEW: un IntSet è un insieme modificabile

// di interi di dimensione qualunque

// un tipico IntSet è {x1, …, xn}

private boolean[100] els;

private Vector altriels;

private int dim;

// l’invariante di rappresentazione:

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

// c.altriels != null e

// els.length = 100 e

// per ogni intero i,

// c.altriels.get(i) è un Integer,

// c.altriels.get(i).intValue() non appartiene

// all’intervallo 0-99, e

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

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

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

// c.altriels.get(j).intValue() e

// c.dim = c.altriels.size() + conta(c.els,0)

Previous slide

Next slide

Back to first slide

View graphic version