public static RealVariable newInt(int lowerBound,int upperBound){
  return new RealVariable(lowerBound,Math.nextAfter((double)(upperBound + 1),Double.NEGATIVE_INFINITY));
}

public static RealVariable newInt ( int lowerBound , int upperBound ) { return new RealVariable ( lowerBound , Math . nextAfter ( ( double ) ( upperBound + 1 ) , Double . NEGATIVE_INFINITY ) ) ; }
returns a new integer - valued decision variable bounded within the specified range .
