[PPL-devel] ppl ./NEWS src/BD_Shape.inlines.hh src/BD_Shap ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	bagnara at cs.unipr.it	2007-02-27 17:22:49

Modified files:
	.              : NEWS 
	src            : BD_Shape.inlines.hh BD_Shape.templates.hh 
	                 Box.defs.hh Box.templates.hh 
	                 Constraint_System.defs.hh 
	                 Constraint_System.inlines.hh 
	                 Generator_System.defs.hh 
	                 Generator_System.inlines.hh Interval.defs.hh 
	                 Interval_Restriction.defs.hh Matrix.defs.hh 
	                 Matrix.inlines.hh Octagonal_Shape.inlines.hh 
	                 Octagonal_Shape.templates.hh Polyhedron.defs.hh 
	                 Polyhedron.inlines.hh Polyhedron.templates.hh 
	                 globals.defs.hh globals.inlines.hh 

Log message:
	Eleventh merge of the main trunk to the `altnum' branch.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.8&r2=1.86.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.43.2.7&r2=1.43.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.24&r2=1.1.2.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.38&r2=1.1.2.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.3&r2=1.3.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.4&r2=1.3.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.2.93&r2=1.16.2.94
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.9&r2=1.1.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.56.2.7&r2=1.56.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.37.2.5&r2=1.37.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10.2.4&r2=1.10.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.31.2.8&r2=1.31.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.228.2.11&r2=1.228.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.90.2.10&r2=1.90.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.4&r2=1.4.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.14&r2=1.2.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=1.1.2.7