public void addSymbol ( final String symbol , final double value ) throws PrefixExistsException { final Prefix prefix = new PrefixSymbol ( symbol , value ) ; symbolSet . add ( prefix ) ; valueMap . put ( new Double ( value ) , prefix ) ; }
Adds a prefix symbol to the database .