set_double_property


Description:

public void set_double_property (string name, double v_double, string origin)