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
© 2001-2023 Fair Isaac Corporation. All rights reserved. This documentation is the property of Fair Isaac Corporation ("FICO"). Receipt or possession of this documentation does not convey rights to disclose, reproduce, make derivative works, use, or allow others to use it except solely for internal evaluation purposes to determine whether to purchase a license to the software described in this documentation, or as otherwise set forth in a written software license agreement between you and FICO (or a FICO affiliate). Use of this documentation and the software described in it must conform strictly to the foregoing permitted uses, and no other use is permitted.