Class IntType

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

Direct Known Subclasses:

Alphabet, Range

public sealed class IntType extends Type<IntType> permits Alphabet, Range

A type that reads integers.

• Method Summary

  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