CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-08-22 23:18:15

Modified files: src : Constraint.defs.hh GenSys.cc Generator.defs.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc globals.cc globals.hh

Log message: Functions const Integer& operator*(const Constraint& c, const Generator& g) and const Integer& reduced_scalar_product(const Constraint& c, const Generator& g) removed. Used void scalar_product_assign(Integer& z, const Row& x, const Row& y) and void reduced_scalar_product_assign(Integer& z, const Row& x, const Row& y) instead. Use void scalar_product_sign(const Row& x, const Row& y) and void reduced_scalar_product_sign(const Row& x, const Row& y) wherever possible.

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/GenSys.cc.diff?cvsroot=ppl... 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/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/globals.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=pp...