setval

Purpose

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

Synopsis

procedure setval(x:cpvar, value:integer)

procedure setval(x:cpfloatvar, value:real)

Arguments

x	the decision variable
value	instantiation value

Example

The following example shows how to instantiate the value of a cpvar x to the integer value 1.

setval(x,1)