is_equal

Purpose

Returns true if the domains of the two variables passed in argument contain exactly the same values

Synopsis

function is_equal(var1:cpvar,var2:cpvar) : boolean

function is_equal(var1:cpfloatvar,var2:cpfloatvar) : boolean

Arguments

var1	the first decision variable
var2	the second decision variable

Return value

true if the domain of var1 equals the domain of var2, else false

Example

The following example shows how to test whether the domains of two cpvar var1 and var2 are equal

if is_equal(var1,var2) then
  write("the domains of var1 and var2 are the same!")
end-if