probe_assign_var
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:string,valsel:string,variables:set of cpvar, probelevel:integer) : cpbranching
function probe_assign_var(varsel:string, valsel:string, variables:array(range) of cpvar, probelevel:integer) : cpbranching
function probe_assign_var(varsel:string, valsel:string,variables:cpvarlist, probelevel:integer) : cpbranching
function probe_assign_var(varsel:string, valsel:string, probelevel:integer) : cpbranching
function probe_assign_var(varsel:string,valsel:string) : cpbranching
Arguments
|
varsel
|
the variable selector name (pre-defined constant or user-defined function name)
|
|
valsel
|
the value selector (pre-defined constant or user-defined function name)
|
|
variables
|
list of variables to branch on
|
|
probelevel
|
maximal probing level
|
Return value
The resulting probe_assign_var branching scheme
Related topics