super(solver,"generate");
this.vars = vars;
Constrainer constrainer = getConstrainer();
IntExpArray intvars = new IntExpArray(constrainer,vars.length);
for(int i=0; i<vars.length; i++) {
IntExp var = (IntExp)vars[i].getImpl();
intvars.set(var, i);
}
nativeGoal = new GoalGenerate(intvars);
setVars(vars);
}