Specifica del supertipo

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

public boolean isIn (int x)

// EFFECTS: se x appartiene a this ritorna true, altrimenti false

public int size ()

// EFFECTS: ritorna la cardinalità di this

public Iterator elements ()

// EFFECTS: ritorna un generatore che produrrà tutti gli elementi di

// this (come Integers) ciascuno una sola volta, in ordine arbitrario

// REQUIRES: this non deve essere modificato finché il generatore è in

// uso

public boolean subset (Intset s)

// EFFECTS: se s è un sottoinsieme di this ritorna true, altrimenti

// false

}

Previous slide

Next slide

Back to first slide

View graphic version