CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...