CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p...