该函数创建并返回一个目标，它是搜索解决方案的算法中的一个基元。 该目标绑定参数 "vars中的每个受限变量。

IlcSplit从第一个变量到最后一个变量进行扫描，并重复该过程，直到所有变量都绑定为止。

在每一步扫描中，如果当前变量尚未绑定，"IlcSplit会设置一个选择点，将当前变量的域替换为其中一个半域，然后检查下一个变量。

可选参数 "increaseMinFirst必须是布尔值，即 "IlcTrue或 "IlcFalse。 如果是 "IlcTrue，则先尝试域的上半部分；否则，先尝试域的下半部分。

例如，"IlcSplit从第一个变量开始；如果第一个变量尚未绑定，"IlcSplit会设置一个选择点，然后将该变量的域替换为其中的一个半域；"IlcSplit然后检查第二个变量。 相反，如果第一个变量已经绑定，"IlcSplit会直接检查第二个变量。