set_attribute_double


Description:

public void set_attribute_double (string attribute, string argument, double value, SourceReference? source_reference = null)