Class Int

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

All Implemented Interfaces:

HandleKind<IntField<Long>>

public final class Int extends Object implements HandleKind<IntField<Long>>

For Iris.forward(String, Class): an integer handle at depth 0.

• Method Summary

  Methods inherited from class Object

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