settarget

Purpose

Sets the target value (preferred instantiation value) for the variable passed in argument.

Synopsis

procedure settarget(x:cpvar,value:integer)

procedure settarget(x:cpfloatvar,value:real)

Arguments

x	the decision variable
value	the target value

Example

The following example shows how to set the target value of a cpvar x to three:

settarget(x,3)