public DoubleParam(GRB.DoubleParam param) { this.param = param; }
public IntParam(GRB.IntParam param) { this.param = param; }