CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2001-10-21 11:56:26 Modified files: src : Constraint.defs.hh Generator.defs.hh Polyhedron.defs.hh Variable.cc Variable.defs.hh Log message: In the documentation of the namespace PPL, all non-friend operators are now grouped consistently. I do not like very much the current header of each group ("Non-friend operators on objects ..." is maybe too much implementation-aware), but in any case it is definitely better than the default grouping header ("Functions"). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... 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/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvsr...