split_domain

Purpose

Creates a split_domain branching scheme. This will split the domain of every branching variable X in two parts, one branch with the case X ≤ alpha and the other branch X > alpha where alpha is a value in the domain of X.

Synopsis

function split_domain(varsel:function or string, valsel:function or string, variables:set of cpvar, leqfirst:boolean, stopsplit: integer) : cpbranching

function split_domain(varsel:function or string, valsel:function or string, variables:array(range) of cpvar, leqfirst:boolean, stopsplit: integer) : cpbranching

function split_domain(varsel:function or string, valsel:function or string, variables:cpvarlist, leqfirst:boolean, stopsplit: integer) : cpbranching

function split_domain(varsel:function or string, valsel:function or string, leqfirst:boolean, stopsplit: integer) : cpbranching

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

function split_domain(varsel:function or string, valsel:function or string, variables:array(range) of cpvar, leqfirst:boolean, stopsplit: integer, probeLevel:integer) : cpbranching

function split_domain(varsel:function or string, valsel:function or string, variables:set of cpfloatvar, leqfirst:boolean, stopsplit: integer) : cpbranching

function split_domain(varsel:function or string, valsel:function or string, variables:array(range) of cpfloatvar, leqfirst:boolean, stopsplit: integer) : 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
leqfirst	Explore the case ≤ first if true
stopsplit	stop branching if the size of the domain of the variable is less than stopsplit

Return value

split_domain branching scheme

Example

See the example provided for assign_var on how to define a 'split_domain' branching scheme for the search process.

Related topics

assign_var assign_and_forbid probe_assign_var settle_disjunction

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