Second Implementation of natMultset

currentSize

Representation Invariant: The multiset elements are list[0..currentSize-1], where currentSize <= maxSize.

{

/* The multiset elements are list[0..currentSize-1], where

currentSize <= maxSize. */

private int currentSize;

private int maxSize;

private int[] list;

}