setlb

Purpose

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

Synopsis

procedure setlb(x:cpvar, value:integer)

procedure setlb(x:cpfloatvar, value:real)

Arguments

x	the decision variable
value	value representing the lower bound

Example

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

setlb(x,1)