Class RecordList

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.RecordList

All Implemented Interfaces:

Domain<RecordExpr>

public final class RecordList extends Object implements Domain<RecordExpr>

A list of records: all the records of a repeat, or a nested list. at(IntegralExpr) selects one.

• Method Summary

  Modifier and Type

  Method

  Description

  RecordExpr

  at(long index)

  Returns records[index].

  RecordExpr

  at(IntegralExpr index)

  Returns records[index].

  Methods inherited from class Object

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

• Method Details

  • at

    public RecordExpr at(IntegralExpr index)

    Returns records[index].

    Parameters:

    index - the index, counted from 0

    Returns:

    records[index]

  • at

    public RecordExpr at(long index)

    Returns records[index].

    Parameters:

    index - the index, counted from 0

    Returns:

    records[index]