CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-10-13 10:45:32

Modified files: src : Constraint.defs.hh Constraint_System.cc Generator.defs.hh Generator.inlines.hh Generator_System.cc Generator_System.defs.hh Linear_Expression.defs.hh Linear_System.cc Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc conversion.cc scalar_products.cc scalar_products.defs.hh scalar_products.inlines.hh

Log message: Added class Scalar_Products gathering all scalar product functions defined so far. Also added class Topology_Adjusted_Scalar_Product_Sign, implementing a function object choosing the correct scalar product function for the given context. Using these classes to simplify friend declarations and to allow for the removal of some friend declarations. In particular: - Constraint_System is no longer a friend of Generator; - Generator_System is no longer a friend of Constraint. Also added a few missing const qualifications to local variables.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.... 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/Polyhedron_chdims.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... 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/Polyhedron_widenings.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.hh...