L’invariante di rappresentazione di IntSet

public class IntSet {

// OVERVIEW: un IntSet è un insieme modificabile

// di interi di dimensione qualunque

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

private Vector els; // la rappresentazione

// la funzione di astrazione:

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

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

// l’invariante di 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()

• il vettore non deve essere null

• gli elementi del vettore devono essere Integer

  • assunti soddisfatti in a

• tutti gli elementi sono distinti

Previous slide

Next slide

Back to first slide

View graphic version