/** @return Number of public (non-internal) entries in this partition. */ public int publicSize() { return mapPubSize.intValue(); }