Class Gecode

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

public final class Gecode extends Object

The host constants of Gecode.

• Field Summary

  Fields

  Modifier and Type

  Field

  Description

  static final IntExpr

  intMax

  gecode.int_max, the largest integer of a Gecode integer variable.

  static final IntExpr

  intMin

  gecode.int_min, the smallest integer of a Gecode integer variable.

• Method Summary

  Methods inherited from class Object

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

• Field Details

  • intMax

    public static final IntExpr intMax

    gecode.int_max, the largest integer of a Gecode integer variable.

  • intMin

    public static final IntExpr intMin

    gecode.int_min, the smallest integer of a Gecode integer variable.