Class NumType

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<NumType>

dev.gecode.iris.build.NumType

public final class NumType extends Type<NumType>

A type that reads integers or floats, decided by the data.

• 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 NumType

  dim(long size)

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

  final NumType

  dim(Expr size)

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

  final NumType

  dims(long... sizes)

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

  final NumType

  dims(List<? extends Expr> sizes)

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

  final NumType

  layout(long layout)

  Returns this type with layout expression.

  final NumType

  layout(Expr layout)

  Returns this type with layout expression.

  final NumType

  offset(long offset)

  Returns this type with offset expression.

  final NumType

  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