[PPL-devel] ppl/src Linear_System.cc Linear_System.defs.hh ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2005-10-14 19:53:23

Modified files:
	src            : Linear_System.cc Linear_System.defs.hh 
	                 Polyhedron.inlines.hh Polyhedron_public.cc 
	                 simplify.cc 

Log message:
	Linear_System methods gauss() and back_substitute() modified so as to
	assert all the known preconditions. Method gauss() also modified so as
	to receive as input the number of lines/equalities on which it should
	be applied. Added a new method Linear_System::simplify() that takes care
	of appropriately combine the two methods above when needed, so as to ensure
	that all preconditions are met. The new method is now used in the
	implementation of Polyhedron::shrink_bounding_box() and Polyhedron::OK().

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.123&r2=1.124
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.65&r2=1.66
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.43&r2=1.44