cp_shave
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