Dimostrariamo una proprietà di IntSet 2

• per ogni IntSet la sua size è >= 0

• per il costruttore

public IntSet ()

// EFFECTS: inizializza this a vuoto

• l’insieme vuoto ha cardinalità 0

Previous slide

Next slide

Back to first slide

View graphic version