CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2006-10-30 16:33:03 Modified files: doc : definitions.dox devref.doxyconf-html.in devref.doxyconf-latex.in src : BD_Shape.defs.hh BD_Shape.templates.hh Linear_System.cc Linear_System.defs.hh Linear_System.inlines.hh Makefile.am Polyhedron.defs.hh Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc conversion.cc minimize.cc simplify.cc swapping_sort.icc Added files: src : Bit_Matrix.cc Bit_Matrix.defs.hh Bit_Matrix.inlines.hh Bit_Matrix.types.hh Bit_Row.cc Bit_Row.defs.hh Bit_Row.inlines.hh Bit_Row.types.hh Log message: Classes Saturation_Row and Saturation_Matrix renamed as Bit_Row and Bit_Matrix, respectively. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsroot=ppl&r1=1.198&r2=1.199 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&r1=1.78&r2=1.79 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.17&r2=1.18 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.cc?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.defs.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.inlines.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Matrix.types.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.cc?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.defs.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.types.hh?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.85&r2=1.86 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.45&r2=1.46 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.39&r2=1.40 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.28&r2=1.29 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.162&r2=1.163 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.307&r2=1.308 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&r1=1.39&r2=1.40 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.69&r2=1.70 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.85&r2=1.86 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.55&r2=1.56 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.78&r2=1.79 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&r1=1.43&r2=1.44 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.45&r2=1.46 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc.diff?cvsroot=ppl&r1=1.10&r2=1.11