cp_post
cp_post |
Purpose
This function posts the constraint ctr to the problem. Note that posting a constraint does not imply that the involved variables will be instantiated.
Synopsis
function cp_post(ctr:cpctr) : boolean
Argument
|
ctr
|
the constraint to post
|
Return value
Returns
true if the constraint is compatible with already posted constraints, else
false.
Example
The following example shows how to post the constraint x = y + 1 where x and y are two decision variables of the problem
cp_post(x = y + 1)
Related topics