Class Range

Javadoc 27 generates this reference during each site build from the exported packages and the annotation processor. The Java guide shows the API in use.

java.lang.Object

dev.gecode.iris.build.Type<IntType>

dev.gecode.iris.build.IntType

dev.gecode.iris.build.Range

public final class Range extends IntType

The integers from a lower bound up: lo... to(NumericExpr) and below(NumericExpr) give it an upper bound.

• Method Summary

  Modifier and Type

  Method

  Description

  IntType

  below(long hi)

  Returns lo..<hi, without the upper bound.

  IntType

  below(NumericExpr hi)

  Returns lo..<hi, without the upper bound.

  IntType

  to(long hi)

  Returns lo..hi, with both bounds included.

  IntType

  to(NumericExpr hi)

  Returns lo..hi, with both bounds included.

  Methods inherited from class Type

  dim, dim, dims, dims, layout, layout, offset, offset, until, until, until, untilEol

  Modifier and Type

  Method

  Description

  final IntType

  dim(long size)

  Returns this type with another dimension: x[size]: type.

  final IntType

  dim(Expr size)

  Returns this type with another dimension: x[size]: type.

  final IntType

  dims(long... sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final IntType

  dims(List<? extends Expr> sizes)

  Returns this type with several more dimensions, as many as known only at run time.

  final IntType

  layout(long layout)

  Returns this type with layout expression.

  final IntType

  layout(Expr layout)

  Returns this type with layout expression.

  final IntType

  offset(long offset)

  Returns this type with offset expression.

  final IntType

  offset(Expr offset)

  Returns this type with offset expression.

  final ListReading

  until(long end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(Expr end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  until(String end)

  Returns a list of this type that ends at the sentinel end.

  final ListReading

  untilEol()

  Returns a list of this type that ends at the end of the line: until eol.

  Methods inherited from class Object

  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

• Method Details

  • to

    public IntType to(NumericExpr hi)

    Returns lo..hi, with both bounds included.

    Parameters:

    hi - the upper bound

    Returns:

    lo..hi, with both bounds included

    Throws:

    IllegalArgumentException - if the bound is a float

  • to

    public IntType to(long hi)

    Returns lo..hi, with both bounds included.

    Parameters:

    hi - the upper bound

    Returns:

    lo..hi, with both bounds included

  • below

    public IntType below(NumericExpr hi)

    Returns lo..<hi, without the upper bound.

    Parameters:

    hi - the upper bound

    Returns:

    lo..<hi, without the upper bound

    Throws:

    IllegalArgumentException - if the bound is a float

  • below

    public IntType below(long hi)

    Returns lo..<hi, without the upper bound.

    Parameters:

    hi - the upper bound

    Returns:

    lo..<hi, without the upper bound