setub

Purpose

Sets the upper bound of the variable to the value passed in argument. This procedure can be used during the CP search.

Synopsis

procedure setub(x:cpvar, value:integer)

procedure setub(x:cpfloatvar, value:real)

Arguments

x	the decision variable
value	value representing the upper bound.

Example

The following example shows how to set the upper bound of a cpvar x to the integer value 1.

setub(x,1)