set_min_sat


Description:

public void set_min_sat (double sat)