Examples of solver.variables.IntVar.removeValue()

solver.variables.IntVar.removeValue()
Removes valuefrom the domain of this. The instruction comes from propagator.
- If value is out of the domain, nothing is done and the return value is false,
- if removing value leads to a dead-end (domain wipe-out), a ContradictionException is thrown,
- otherwise, if removing 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 value value to remove from the domain (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

        for (int i = poss.getFirstElement(); i >= 0; i = poss.getNextElement()) {
            IntVar v = vars[i];
            if (v.hasEnumeratedDomain()) {
                for (int val = v.getLB(); val <= v.getUB(); val = v.nextValue(val)) {
                    if (!setValues.contains(val)) {
                        v.removeValue(val, this);
                    }
                }
                poss.remove(i);
                nbSure.add(1);
            } else {

View Full Code Here

          }
        }
        ub = y.getUB();
        for (int val = y.getLB(); val <= ub; val = y.nextValue(val)) {
          if (!x.contains(val)) {
            y.removeValue(val, aCause);
          }
        }
      }
    }
  }

View Full Code Here

      support.remove(arcId);


      if (support.isEmpty()) {
        IntVar var = propagator.getVar(layer);
        try {
          var.removeValue(value, propagator);
        } catch (ContradictionException ex) {
          stack.clear();
          throw ex;
        }
      }

View Full Code Here

            StoredIndexedBipartiteSetWithOffset support = getUBport(layer, value);
            support.remove(arcId);


            if (support.isEmpty()) {
                IntVar var = propagator.getVar(layer);
                var.removeValue(value, propagator);//, false);
            }
        }


        int[] list;
        int size;

View Full Code Here

            StoredIndexedBipartiteSetWithOffset support = getSupport(layer, value);
            support.remove(arcId);


            if (support.isEmpty()) {
                IntVar var = propagator.getVar(layer);
                var.removeValue(value, aCause);
            }
        }


        StoredIndexedBipartiteSetWithOffset out = GNodes.outArcs[orig];
        StoredIndexedBipartiteSetWithOffset in;

View Full Code Here

0 1

TOP

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.