set_double


Description:

public void set_double (int index, double value)

Set a double value

Parameters:

index the index to write to
value the value to write