[PPL-devel] ppl/src Integer.defs.hh Integer.inlines.hh Pol ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2002-09-24 19:05:50

Modified files:
	src            : Integer.defs.hh Integer.inlines.hh 
	                 Polyhedron.cc 

Log message:
	Added the functions lcm_assign(Integer& x, const Integer& y) and
	lcm_assign(Integer& x, const Integer& y, const Integer& z) in Integer.
	Modified the function Polyhedron::BBRZ02_widening_assing() so that
	in the first technique we choose the constraints to add in the right
	system and we normalize the vectors using a bad approximation of the
	norm; corrected also an error in the third technique in the case of
	rays with negative coefficients.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.217&r2=1.218