Package kodkod.util.ints.IntRange

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

Related Classes of kodkod.util.ints.IntRange.TwoPointRange

Copyright © 2018 www.massapicom. 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.