[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-25 10:12:26

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

Log message:
	Added the functions void sqrt_assign(Integer& x) and
	void sqrt_assign(Integer& x, const Integer& y) in Integer to compute
	he truncated integer part of the root of an Integer.
	Used the function sqrt_assign(Integer&) in the first technique of
	BBRZ02_widening_assign().

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