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