Examples of solver.ICause

solver.ICause
This interface describes services of smallest element which can act on variables. As an example, propagator is a cause because it filters values from variable domain. So do decision, objective manager, etc. It has an impact on domain variables and so it can fails.

@author Charles Prud'homme @since 26 oct. 2010

    for (int chunk = 0; chunk <= currentC; chunk++) {
      int to = (chunk == currentC ? currentI : CHUNK_SIZE);
      for (int cell = 0; cell < to; cell++) {
        IntVar var = varChunks[chunk][cell];
        IEventType etype = masChunks[chunk][cell];
        ICause cause = cauChunks[chunk][cell];
        int one = val1Chunks[chunk][cell];
        int two = val2Chunks[chunk][cell];
        int three = val3Chunks[chunk][cell];


         bug = true;

View Full Code Here

    @Override
    public boolean removeValue(int value, ICause cause) throws ContradictionException {
        // BEWARE: THIS CODE SHOULD NOT BE MOVED TO THE DOMAIN TO NOT DECREASE PERFORMANCES!
//        records.forEachRemVal(beforeModification.set(this, EventType.REMOVE, cause));
        assert cause != null;
        ICause antipromo = cause;
        if (value < values[LB.get()] || value > values[UB.get()]) {
            return false;
        }
        int index = -1;
        for (int i = indexes.nextSetBit(LB.get()); i >= 0 && values[i] <= value; i = indexes.nextSetBit(i + 1)) {

View Full Code Here

     * @throws solver.exception.ContradictionException if the domain become empty due to this action
     */
    @Override
    public boolean updateLowerBound(int value, ICause cause) throws ContradictionException {
        assert cause != null;
        ICause antipromo = cause;
        int old = this.getLB();
        if (old < value) {
            int oub = this.getUB();
            if (oub < value) {
                if (Configuration.PLUG_EXPLANATION) {

View Full Code Here

TOP

Related Classes of solver.ICause

solver.explanations.LazyExplanationEngineFromRestart

solver.variables.impl.BitsetArrayIntVarImpl

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.