CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino@cs.unipr.it 2006-10-05 10:18:49

Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh MIP_Problem.templates.hh

Log message: The correctness of the solution found, if is involved a non-empty integer Variables_Set, is now proofed without having a special member in the class. Slightly modified is_mip_satisfiable(), solve_mip and choose_branching_variable() intefaces for that purpose.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.templates.hh.d...