CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-09-27 15:39:52
Modified files:
src : Polyhedron.cc
Log message:
Methods Polyhedron::affine_image() and Polyhedron::affine_preimage()
now only call ConSys::affine_preimage() and GenSys::affine_image()
with a strictly positive denominator.
Added draft implementation of generalized_affine_image() for the case
of a strict relation operator (only for NNC polyhedra).
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: zaffanella(a)cs.unipr.it 2002-09-27 09:18:56
Modified files:
src : GenSys.cc
Log message:
Corrected a bug in GenSys::affine_image() whereby we were creating points
having a negative divisor when the denominator of the affine transformation
was negative.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…
