CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci@cs.unipr.it 2002-11-13 18:43:23

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

Log message: Added the method add_corresponding_points(const GenSys& gs) that add to *this the "corresponding point of the closure points of "gs" and of *this".

Patches: 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...