get_indicator
get_indicator |
Purpose
Get a 0-1 valued cpauxvar indicating whether the variable is instantiated (1) or not (0) to the specified value.
Synopsis
function get_indicator(var:cpvar,i:integer) : cpauxvar
Arguments
|
var
|
the variable
|
|
i
|
the value
|
Return value
An auxiliary relaxation variable
Example
The following example shows how to use the get_indicator function.
indvar:= get_indicator(var,i)