[PPL-devel] ppl/src Constraint.defs.hh GenSys.cc Generator ...
Roberto Bagnara
roberto at cs.unipr.it
Sun Aug 22 23:18:15 CEST 2004
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at 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?cvsroot=ppl&r1=1.87&r2=1.88
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.89&r2=1.90
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.87&r2=1.88
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&r1=1.39&r2=1.40
More information about the PPL-devel
mailing list