172173174175176177178179
////////////////////////////////////// // methods to manage solutions // PRECOND: a search must have been started public SolutionValue solution() { SolutionValue intVal = intVar.solution(); return intVal; }
79808182838485
return getIlcSolver().constant(val); } /* returns a solution */ public SolutionValue solution() { return new SolutionValue(var); }