set_higher


Description:

public void set_higher (int value)