CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv...