distance
distance |
Purpose
This constraint specifies the distance between two variables.
Synopsis
function distance(x:cpvar, y:cpvar) : 0cpabs
Argument
|
x,y
|
finite domain variables
|
Return value
An absolute value constraint over x and y corresponding to the expressed distance constraint:
|x-y|
Example
The following example shows how to use the distance constraint
model "Distance constraints"
uses "kalis"
setparam("KALIS_DEFAULT_LB", -50); setparam("KALIS_DEFAULT_UB", 50)
declarations
x, y, z: cpvar
Dist: cpctr
end-declarations
setname(x,"x")
setname(y,"y")
setname(z,"z")
abs(x) = y
writeln("Absolute value of x: ", x,y,z)
y >= 20
writeln("Bounding y by 20: ", x,y,z)
! abs(y-z) <= 3
! Equivalent version of this constraint:
distance(y,z) <= 3
writeln("Max distance betw. y and z: ", x,y,z)
Dist:= distance(x,z) = 5
if(cp_post(Dist)) then
writeln("Distance between x and z: ", x,y,z)
else
writeln("Problem is infeasible")
end-if
cp_show_prob
end-model
Related topics