Method mult

core/src/processing/data/DoubleDict.java:443–448

@webref doubledict:method @brief Multiply a value

(String key, double amount)

   * @brief Multiply a value
   */
  public void mult(String key, double amount) {
    int index = index(key);
    if (index != -1) {
      values[index] *= amount;
    }
  }


  /**