probe_assign_var

Purpose

Creates a probe_assign_var branching scheme, in which probing and assignment are applied simultaneously

Synopsis

function probe_assign_var(varsel:function or string,valsel:function or string,variables:set of cpvar, probelevel:integer) : cpbranching

function probe_assign_var(varsel:function or string, valsel:function or string, variables:array(range) of cpvar, probelevel:integer) : cpbranching

function probe_assign_var(varsel:function or string, valsel:function or string,variables:cpvarlist, probelevel:integer) : cpbranching

function probe_assign_var(varsel:function or string, valsel:function or string, probelevel:integer) : cpbranching

function probe_assign_var(varsel:function or string,valsel:function or string) : cpbranching

Arguments

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

Return value

The resulting probe_assign_var branching scheme

Related topics

assign_var assign_and_forbid settle_disjunction split_domain

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