Examples of solver.variables.IntVar.instantiateTo()

solver.variables.IntVar.instantiateTo()

Instantiates the domain of this to value. The instruction comes from propagator.

If the domain of this is already instantiated to value, nothing is done and the return value is false,
If the domain of this is already instantiated to another value, then a ContradictionException is thrown,
Otherwise, the domain of this is restricted to value and the observers are notified and the return value is true.

@param value instantiation value (int) @param cause instantiation releaser @return true if the instantiation is done, false otherwise @throws ContradictionException if the domain become empty due to this action

            ub = v.getUB();
            for (int k = v.getLB(); k <= ub; k = v.nextValue(k)) {
                j = map.get(k);
                if (nodeSCC[i] != nodeSCC[j]) {
                    if (matching[i] == j) {
                        v.instantiateTo(k, aCause);
                    } else {
                        v.removeValue(k, aCause);
                        digraph.removeArc(i, j);
                    }
                }

            ub = v.getUB();
            for (int k = v.getLB(); k <= ub; k = v.nextValue(k)) {
                j = map.get(k);
                if (nodeSCC[i] != nodeSCC[j]) {
                    if (digraph.getPredOf(i).getFirstElement() == j) {
                        v.instantiateTo(k, aCause);
                    } else {
                        v.removeValue(k, aCause);
                        digraph.removeArc(i, j);
                    }
                }

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.