130131132133134135136137138139140
* Initializes an array of instantiation goals for the variables. */ void initGoals() { int size = _intvars.size(); _goals = new FastVector(size); for(int i=0; i < size; i++) { IntVar var = (IntVar)_intvars.elementAt(i); Goal goal; if (_dichotomize)