[PPL-devel] ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2001-10-22 15:10:10

Modified files:
	src            : ConSys.cc ConSys.defs.hh GenSys.cc 
	                 GenSys.defs.hh Generator.defs.hh 
	                 Generator.inlines.hh Polyhedron.defs.hh 

Log message:
	Operators |, ^, /= have now been replaced by functions `line', 'ray' and
	'vertex'. Note that the function vertex has an _optional_ second argument
	(the denominator), with default value 1.
	Hopefully, all the documentation has been changed accordingly (please check).
	In GenSys and ConSys, now the functions assign_variable and substitute_variable
	take a _const_ Integer& as their third argument.
	The same change cannot be applied to the corresponding functions defined
	on Polyhedron, since we perform a swap on this argument, so that it cannot
	be const.
	However, I am now seeing if it is possible to have also these as "optional"
	arguments, with a default value of 1. Alas, I need to read the C++ manual
	in order to see how I can define a default value for a non-const argument
	passed by reference.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.40&r2=1.41