[PPL-devel] ppl/src Constraint.defs.hh Constraint_System.c ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2005-10-13 10:45:32

Modified files:
	src            : Constraint.defs.hh Constraint_System.cc 
	                 Generator.defs.hh Generator.inlines.hh 
	                 Generator_System.cc Generator_System.defs.hh 
	                 Linear_Expression.defs.hh Linear_System.cc 
	                 Polyhedron_chdims.cc Polyhedron_nonpublic.cc 
	                 Polyhedron_public.cc Polyhedron_widenings.cc 
	                 conversion.cc scalar_products.cc 
	                 scalar_products.defs.hh 
	                 scalar_products.inlines.hh 

Log message:
	Added class Scalar_Products gathering all scalar product functions defined
	so far. Also added class Topology_Adjusted_Scalar_Product_Sign, implementing
	a function object choosing the correct scalar product function for the
	given context. Using these classes to simplify friend declarations and to
	allow for the removal of some friend declarations. In particular:
	- Constraint_System is no longer a friend of Generator;
	- Generator_System is no longer a friend of Constraint.
	Also added a few missing const qualifications to local variables.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&r1=1.107&r2=1.108
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.109&r2=1.110
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.55&r2=1.56
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&r1=1.33&r2=1.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.54&r2=1.55
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.49&r2=1.50
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.73&r2=1.74
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5