CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-12-11 14:37:32

Modified files: . : NEWS README TODO demos/ppl_lcdd : ppl_lcdd.cc doc : definitions.dox devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in interfaces/C : ppl_c.cc ppl_c.h.in interfaces/Prolog: ppl_prolog.icc src : BHRZ03_Certificate.cc C_Polyhedron.defs.hh C_Polyhedron.inlines.hh Constraint.defs.hh Generator.defs.hh Linear_Expression.defs.hh Linear_System.defs.hh Makefile.am Matrix.defs.hh NNC_Polyhedron.defs.hh NNC_Polyhedron.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc tests : NNCminimize1.cc NNCminimize2.cc NNCminimize3.cc NNCminimize4.cc NNCminimize5.cc addconstraints9.cc addgenerator1.cc addgenerator2.cc addgenerator3.cc addgenerator4.cc addgenerator5.cc addgenerators1.cc addgenerators10.cc addgenerators11.cc addgenerators12.cc addgenerators13.cc addgenerators2.cc addgenerators3.cc addgenerators4.cc addgenerators5.cc addgenerators6.cc addgenerators7.cc addgenerators8.cc addgenerators9.cc addspacedims1.cc addspacedims10.cc addspacedims11.cc addspacedims3.cc addspacedims6.cc addspacedims7.cc affineimage3.cc affineimage7.cc affinepreimage1.cc affinepreimage4.cc affinepreimage7.cc affinetrans.cc ascii_dump_load7.cc bhrz03widening1.cc bhrz03widening12.cc bhrz03widening13.cc bhrz03widening14.cc bhrz03widening15.cc bhrz03widening16.cc bhrz03widening17.cc bhrz03widening18.cc bhrz03widening19.cc bhrz03widening2.cc bhrz03widening6.cc bhrz03widening7.cc bhrz03widening8.cc bhrz03widening9.cc concatenate4.cc contains2.cc contains3.cc contains4.cc disjoint2.cc disjoint3.cc dualhypercubes.cc empty1.cc exceptions1.cc exceptions2.cc generators1.cc generators2.cc generators3.cc generators4.cc generators5.cc generators6.cc h79widening4.cc intersection2.cc intersection6.cc limitedbhrz03extrapolation1.cc mapspacedims1.cc maxspacedim1.cc membytes1.cc mingenerators1.cc mingenerators2.cc mingenerators3.cc polydifference1.cc polydifference2.cc polydifference8.cc polyhull1.cc polyhull2.cc polyhull7.cc print.cc print.hh randphull1.cc randphull2.cc relations12.cc relations15.cc relations16.cc relations17.cc relations4.cc relations5.cc removespacedims1.cc removespacedims2.cc removespacedims4.cc removespacedims8.cc smm1.cc timeelapse1.cc timeelapse3.cc timeelapse4.cc timeelapse6.cc topclosed2.cc topclosed3.cc topclosure1.cc universe7.cc writegensys1.cc writegensys2.cc writegensys3.cc Added files: src : Generator_System.cc Generator_System.defs.hh Generator_System.inlines.hh Generator_System.types.hh Removed files: src : GenSys.cc GenSys.defs.hh GenSys.inlines.hh GenSys.types.hh

Log message: The class GenSys has been renamed Generator_System.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-lat... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-late... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.types.hh?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.di... 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/Linear_Expression.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh.... 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/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.di... 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/GenSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.types.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/NNCminimize5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraints9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator3.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator4.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator5.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators10.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators12.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators13.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators4.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators5.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators6.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators7.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators8.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators9.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims1.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims10.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims11.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims3.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims6.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addspacedims7.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage3.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage7.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage4.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinepreimage7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affinetrans.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load7.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening12.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening13.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening14.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening16.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening17.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening18.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening19.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening6.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening7.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/contains4.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/disjoint2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/disjoint3.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/dualhypercubes.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/empty1.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators2.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators3.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators4.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators5.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generators6.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening4.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection2.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection6.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03extrapolati... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mapspacedims1.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/maxspacedim1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/membytes1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators1.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators2.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators3.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference1.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polydifference8.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull1.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull2.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/polyhull7.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations12.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations15.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations16.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations17.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations4.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations5.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims2.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims4.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/removespacedims8.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smm1.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse3.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse4.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/timeelapse6.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed2.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed3.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure1.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/universe7.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys2.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys3.cc.diff?cvs...