Source: http://bach.istc.kobe-u.ac.jp/cream/cream106/docs/api/jp/ac/kobe_u/cs/cream/IntVariable.html
Timestamp: 2019-04-18 16:36:16+00:00

Document:
Constructs an integer variable with full domain and a default name.
Constructs an integer variable of a singleton domain and a default name.
Constructs an integer variable of the network with an initial integer domain d and a default name.
Constructs an integer variable of the network with an initial integer domain d and a name specified by the parameter name.
Constructs an integer variable of the interval lo..hi and a default name.
Constructs an integer variable of the interval lo..hi and the given name.
Constructs an integer variable of a singleton domain and the given name.
Constructs an integer variable with full domain and the given name.
Returns a new integer variable which is equal to abs(this).
Returns a new integer variable which is equal to this + value.
Returns a new integer variable which is equal to this + v.
Adds a new constraint this == value.
Adds a new constraint this == v.
Adds a new constraint this >= value.
Adds a new constraint this >= v.
Adds a new constraint this > value.
Adds a new constraint this > v.
Adds a new constraint this <= value.
Adds a new constraint this <= v.
Adds a new constraint this < value.
Adds a new constraint this < v.
Returns a new integer variable which is equal to max(this, value).
Returns a new integer variable which is equal to max(this, v).
Returns a new integer variable which is equal to min(this, value).
Returns a new integer variable which is equal to min(this, v).
Returns a new integer variable which is equal to this * value.
Returns a new integer variable which is equal to this * v.
Returns a new integer variable which is equal to -this.
Adds a new constraint this != value.
Adds a new constraint this != v.
Returns a new integer variable which is equal to sign(this).
Returns a new integer variable which is equal to this - value.
Returns a new integer variable which is equal to this - v.
Constructs an integer variable of the network with an initial integer domain d and a default name. This constructor is equivalent to IntVariable(network, d, null).
Constructs an integer variable of the network with an initial integer domain d and a name specified by the parameter name. When the parameter name is null, default names (v1, v2, and so on) are used.
Returns a new integer variable which is equal to sign(this). The function sign(x) gives -1, 0, +1 when x<0, x=0, x>0 respectively.

References: v.

 v.

 v.

 v.

 v.

 v.

 v.

 v.

 v.