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

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-04-24 10:04:52

Modified files:
	src            : GenSys.defs.hh GenSys.inlines.hh 

Log message:
	New function GenSys::max_space_dimension().

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.94&r2=1.95
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&r1=1.32&r2=1.33