Class Over<E>

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.Over<E>

Type Parameters:

E - what the comprehension gives its body

All Implemented Interfaces:

Domain<E>

public final class Over<E> extends Object implements Domain<E>

A domain whose comprehension variable has a chosen name, from Iris.over(Domain).

• Method Summary

  Modifier and Type

  Method

  Description

  Over<E>

  named(String variable)

  Returns this domain, with its comprehension variable printed as variable.

  Methods inherited from class Object

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

• Method Details

  • named

    public Over<E> named(String variable)

    Returns this domain, with its comprehension variable printed as variable.

    Parameters:

    variable - the name of the variable

    Returns:

    this domain, with its comprehension variable printed as variable