5253545556575859606162
// remove _card_value from all unbounds for(int i=0; i<_vars.size(); i++) { IntExp vari = (IntVar)_vars.elementAt(i); if (!vari.bound()) vari.removeValue(_card_value); } } }
104105106107108109110111112113114
{ // remove _value from all unbounds for(int i=0; i<_vars.size(); i++) { IntExp vari = (IntVar)_vars.elementAt(i); if (!vari.bound()) vari.removeValue(_card_value); } } } public int subscriberMask()
6869707172737475767778
{ IntExp vari = data[i]; if (vari!=event_var) { //Debug.on();Debug.print("alldiff remove "+value+" from "+vari);Debug.off(); vari.removeValue(value); // may fail } } } public int subscriberMask()
110111112113114115116117118119120
for(int v=min; v <=max; v++) { if (_bits.bit(v) && vari.contains(v))//(v==vari.min() || v==vari.max())) { //Debug.on();Debug.print("alldiff minmax remove "+v+" from "+vari);Debug.off(); vari.removeValue(v); // may fail if (vari.bound()) break; } } }
7677787980818283848586
{ if (i == _vars.size()) return true; IntExp exp = (IntExp) _vars.get(i); if (!exp.bound()) exp.removeValue(_card_value); return true; } }; _indexes.iterateDomain(it);
136137138139140141142143144145146
{ IntExp exp = _vars.elementAt(I); for (int i=exp.min(); i <= exp.max(); ++i) { if(!_domains[I].contains(i)) exp.removeValue(i); } } } void init(IntExpArray vars)
7172737475767778798081
{ IntExp vari = (IntExp)_intvars.elementAt(i); if (vari != event_var) { //Debug.on();Debug.print("alldiff remove "+value+" from "+vari);Debug.off(); vari.removeValue(value); // may fail } } } public int subscriberMask()
132133134135136137138139140141142
* @param value * int */ public final void removeValue(int value) throws Exception { IntExp myVar = (IntExp) getImpl(); myVar.removeValue(value); } /** * The default implementation is: * return getMax() - getMin() + 1;