Hash map holding (key,value) associations of type
(int-->double); Automatically grows and shrinks as needed; Implemented using open addressing with double hashing. First see the
package summary and javadoc
tree view to get the broad picture. Overrides many methods for performance reasons only.
@author wolfgang.hoschek@cern.ch
@version 1.0, 09/24/99
@see java.util.HashMap