Initializing help system before first use

cp_shave

Purpose
Shaving consists in tentatively setting variables to a value in their domain. If the assignment fails (considering the complete constraint set), then this value can be removed from the domain, possibly eliminating many inconsistent values before starting search.
Synopsis
function cp_shave: boolean
Return value
false if problem is proven to be inconsistent, true otherwise
Example
The following example shows how to apply shaving to the variables of a problem: 
res := cp_shave
Related topics
cp_propagate

Parent Topic Problem

© 2001-2024 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.