181182183184185186187188189190191
Observer value_observer = new AllDiffObserver(); Observer minmax_observer = new AllDiffMinMaxObserver(); for(int i=0; i<size; i++) { IntExp vari = (IntExp)_intvars.elementAt(i); vari.attachObserver(value_observer); } return null; } // end of execute
132133134135136137138139140141142
// attach observers Observer value_observer = new AllDiffObserver(); for(int i=0; i<size; i++) { IntExp vari = (IntExp)_intvars.elementAt(i); vari.attachObserver(value_observer); } return null; } // end of execute
297298299300301302303304305
* Propagator. */ public void addPropagator(Propagator propagator, PropagationEvent event) { ConstrainerPropagator observer = new ConstrainerPropagator(propagator, event); IntExp exp = (IntExp)getImpl(); exp.attachObserver(observer); } }
4546474849505152535455
ArrayElementObserver observer; for (int i = min; i <= max; i ++) { element = array.get (i); observer = new ArrayElementObserver (element); element.attachObserver (observer); _elements.add ( new ArrayElementAndObserver ( element, i, observer