Initializing help system before first use

# assign_and_forbid

Purpose
Creates an assign_and_forbid (MIP style) branching scheme; that will assign a value to the branching variable on one branch and forbid that value on the other branch.
Synopsis
`function assign_and_forbid(varsel:function or string,valsel:function or string,variables:set of cpvar) : cpbranching`
`function assign_and_forbid(varsel:function or string,valsel:function or string,variables:array(range) of cpvar) : cpbranching`
`function assign_and_forbid(varsel:function or string,valsel:function or string,variables:cpvarlist) : cpbranching`
`function assign_and_forbid(varsel:function or string,valsel:function or string) : cpbranching`
Arguments

varsel | name of the variable selector (pre-defined constant, name of user-defined function or reference to user-defined function)
valsel | name of the value selector (pre-defined constant, name of user-defined function or reference to user-defined function)
variables | list of variables to branch on

Return value
assign_and_forbid branching scheme with value selector 'valsel' and variable selector 'varsel' working on all specified variables
Example
See the example provided for assign_var on how to define an 'assign_and_forbid' branching scheme for the search process.
Related topics
assign_var settle_disjunction probe_assign_var split_domain
Parent Topic Search

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