These functions create and return a constraint. When that constraint is posted, it insures that the value of the variable var will be required by exactly one set variable of the array vars. In this context, a constraint will be posted after it has been added to a model and extracted by a solver (for example, an instance of IloSolver documented in the ILOG Solver Reference Manual).