[PPL-devel] ppl/src C_Polyhedron.defs.hh C_Polyhedron.inli ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-04-24 08:49:53

Modified files:
	src            : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh 
	                 Makefile.am NNC_Polyhedron.defs.hh 
	                 NNC_Polyhedron.inlines.hh 
	                 Polyhedra_PowerSet.defs.hh 
	                 Polyhedra_PowerSet.inlines.hh 
	                 Polyhedron.defs.hh algorithms.hh globals.hh 
Added files:
	src            : max_space_dimension.hh 

Log message:
	The function Parma_Polyhedra_Library::max_space_dimension() has been
	given a new semantics and destiny: it returns the maximum space
	dimension that _all_ the abstractions provided by the library can
	handle.  Each individual abstraction provides its versions of this
	function.  Thus, e.g., NNC_Polyhedron::max_space_dimension()
	gives the maximum space dimensions an NNC_Polyhedron can handle.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/max_space_dimension.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.68&r2=1.69
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inlines.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.223&r2=1.224
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=ppl&r1=1.34&r2=1.35