该函数返回约束变量数组 "vars中最大值最大的非固定约束变量的索引（大于或等于 0（零））。 如果所有这些变量都已固定，则该函数返回-1。

该函数是一个预定义的选择函数，是 CP 优化器在搜索解决方案过程中绑定受限变量的顺序参数设置标准之一。