[PPL-devel] ppl/src GenSys.cc Polyhedron.cc Row.cc Row.defs.hh
Elisa Ricci
ericci at spartacus.cs.unipr.it
Wed Oct 31 09:56:58 CET 2001
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci at cs.unipr.it 2001-10-31 09:56:58
Modified files:
src : GenSys.cc Polyhedron.cc Row.cc Row.defs.hh
Log message:
The function projected_scalar_prod() moved in
`namespace Parma_Polyhedra_Library'.
The case of c.space_dimension < polyhedron.space_dimension is considered
in functions Polyhedron::satisfies and GenSys::satisy.
In function Polyhedron::satisfies the cases of empty polyhedron and
of the polyhedron is a zero-dimensional space are considered.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6
More information about the PPL-devel
mailing list