[PPL-devel] ppl/src Polyhedron.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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?cvsroot=ppl&r1=1.223&r2=1.224