Examples of TwoPointRange


Examples of kodkod.util.ints.IntRange.TwoPointRange

   * Returns an integer range from min, inclusive, to max, inclusive.
   * @return { r: IntRange | r.min = min && r.max = max }
   * @throws IllegalArgumentException - min > max
   */
  public static IntRange range(int min, int max) {
    if (min < max) return new TwoPointRange(min,max);
    else if (min==max) return new OnePointRange(min);
    else throw new IllegalArgumentException("min > max");
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.