This function returns the index (greater than or equal to 0 (zero)) of the first non-fixed constrained variable that it encounters in the array of constrained variables, vars. If all those variables have been fixed already, then this function returns -1.

This function is a predefined choice function, one of the criteria that you can use to set parameters for the order in which CP Optimizer binds constrained variables during the search for a solution.