add_double_element


Description:

public void add_double_element (double value)