[PPL-devel] ppl/src BD_Shape.inlines.hh Constraint_System. ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2005-09-03 10:11:22

Modified files:
	src            : BD_Shape.inlines.hh Constraint_System.defs.hh 
	                 Polyhedron.defs.hh Polyhedron.inlines.hh 
	                 Polyhedron_nonpublic.cc simplex.cc 

Log message:
	Corrected a bug in the implementation of Constraint_System::primal_simplex()
	whereby a feasible solution was claimed even for inconsistent constraint
	systems. Added private method
	Simplex_Status Constraint_System::primal_simplex(obj, gen)
	that maximizes obj on the low-level polyhedron (i.e., the eps-polyhedron
	if topology is NNC) encoded by the constraint system.
	New method used to correct a bug in the implementation of
	Polyhedron::minimized_constraints()
	whereby the constraint system could have been marked minimized even if it
	was not.
	Simplified the interfaces of methods
	Polyhedron::minimize(),
	Polyhedron::maximize(),
	Constraint_System::primal_simplex()
	by avoiding memory-leakage prone parameter passing.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.56&r2=1.57
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.274&r2=1.275
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.117&r2=1.118
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.49&r2=1.50
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=ppl&r1=1.11&r2=1.12