set_int


Description:

public void set_int (string name, int value)