/** @return Number of entries in this partition (constant-time method). */ public int size() { return map.size(); }