class NatMultisetEnumeration

/* An auxiliary class for enumerating the distinct elements of a NatMultiset. */

class NatMultisetEnumeration

{

constructor

/* Return whether there are any more elements in the enumeration. */

public boolean hasMoreElements()

{ . . .

}

/* Retrieve the next element in the enumeration. */

public NatMultisetElement nextElement()

{

. . .

}

}

Previous slide

Next slide

Back to first slide

View graphic version