Examples of solver.variables.IntVar.removeInterval()

solver.variables.IntVar.removeInterval()

Removes values between [from, to] from the domain of this. The instruction comes from propagator.

If union between values and the current domain is empty, nothing is done and the return value is false,
if removing a value leads to a dead-end (domain wipe-out), a ContradictionException is thrown,
otherwise, if removing at least a value from the domain can be done safely, the event type is created (the original event can be promoted) and observers are notified and the return value is true

@param from lower bound of the interval to remove (int) @param to upper bound of the interval to remove(int) @param cause removal releaser @return true if the value has been removed, false otherwise @throws solver.exception.ContradictionException if the domain become empty due to this action

                int value = it.next();
                if (!setValues.contains(value)) {
                    if (value == right + 1) {
                        right = value;
                    } else {
                        v.removeInterval(left, right, aCause);
                        left = right = value;
                    }
                }
            }
            v.removeInterval(left, right, aCause);

                        v.removeInterval(left, right, aCause);
                        left = right = value;
                    }
                }
            }
            v.removeInterval(left, right, aCause);
            it.dispose();
        }
    }


    @Override

                    int val = it3.next();
                    if (!gacValues[vIdx].get(val - offsets[vIdx])) {
                        if (val == right + 1) {
                            right = val;
                        } else {
                            v.removeInterval(left, right, this);
                            left = right = val;
                        }
                        //                        v.removeVal(val, this, false);
                    }
                }

                            left = right = val;
                        }
                        //                        v.removeVal(val, this, false);
                    }
                }
                v.removeInterval(left, right, this);
            } finally {
                it3.dispose();
            }
        }
    }

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.