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