Specifiche di isIn e elements
public boolean isIn (int x)
// EFFECTS: se x appartiene a this ritorna true, altrimenti false
public Iterator elements ()
// EFFECTS: ritorna un generatore che produrrà tutti gli elementi
// di this (come Integers) ciascuno una sola volta, in ordine
per isIn dobbiamo generare casi di test che producono sia vero che falso come risultato
poiché elements è un iteratore dobbiamo considerare almeno i cammini di lunghezza zero, uno e due
- ci serviranno IntSets contenenti zero, uno e due elementi
- l’IntSet vuoto e l’IntSet di un solo elemento controllano anche i casi limite