set_max_sat


Description:

public void set_max_sat (double sat)