Implementazione della sottoclasse SortedIntSet 2

public class SortedIntSet extends IntSet {

private OrderedIntList els; // la rappresentazione

// la funzione di astrazione:

// a(c) = c.els[1] , . . . , c.els[c.sz]

// l’invariante di rappresentazione:

// I(c) = c.els != null && c.sz = c.els.size()

.....

public boolean subset (IntSet s) {

try { return subset((SortedIntSet) s); }

catch (ClassCastException e) { return super.subset(s); }

public boolean subset (SortedIntSet s)

// qui si approfitta del fatto che smallToBig di OrderedIntList

// ritorna gli elementi in ordine crescente

}

Previous slide

Next slide

Back to first slide

View graphic version