is_same
is_same |
Purpose
Returns
true if two decision variables passed in argument represent the same variable; this function is mainly used by advanced users to specify branching heuristics (see example below).
Synopsis
function is_same(var1:cpvar,var2:cpvar) : boolean
function is_same(var1:cpfloatvar,var2:cpfloatvar) : boolean
Arguments
|
var1
|
the first decision variable
|
|
var2
|
the second decision variable
|
Return value
true if
var1 and
var2 represent the same variable
Example
The following example shows how to test whether two cpvar represent the same variable
if is_same(var1,var2) then
write("var1 and var2 represent the same variable!")
end-if
Related topics