CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2006-09-23 13:33:58 Modified files: src : BDS_Status.inlines.hh BD_Shape.cc BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Bounding_Box.defs.hh Checked_Number.defs.hh Congruence.cc Congruence.inlines.hh Congruence_System.cc Congruence_System.defs.hh Constraint_System.cc Constraint_System.defs.hh DB_Matrix.defs.hh DB_Matrix.templates.hh Direct_Product.inlines.hh Generator_System.cc Generator_System.defs.hh Grid.defs.hh Grid.templates.hh Grid_Certificate.cc Grid_Generator_System.cc Grid_Status.cc Grid_chdims.cc Grid_conversion.cc Grid_nonpublic.cc Grid_public.cc Grid_simplify.cc Grid_widenings.cc LP_Problem.cc LP_Problem.defs.hh Linear_System.cc Linear_System.defs.hh MIP_Problem.cc MIP_Problem.defs.hh Matrix.cc OR_Matrix.defs.hh OR_Matrix.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Og_Status.idefs.hh Og_Status.inlines.hh Ph_Status.cc Pointset_Ask_Tell.defs.hh Pointset_Ask_Tell.templates.hh Pointset_Powerset.defs.hh Pointset_Powerset.templates.hh Polyhedron_nonpublic.cc Polyhedron_public.cc Powerset.defs.hh Saturation_Matrix.cc Saturation_Row.cc Saturation_Row.defs.hh checked.inlines.hh checked_int.inlines.hh conversion.cc fpu-ia32.inlines.hh mp_numeric_limits.hh namespaces.hh Log message: Fixed lots of spelling mistakes. Badly named variables renamed. Long lines split. Code formatting improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.cc.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvsroot=ppl&r1=1.74&r2=1.75 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&r1=1.127&r2=1.128 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bounding_Box.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&r1=1.78&r2=1.79 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff?cvsroot=ppl&r1=1.11&r2=1.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.diff?cvsroot=ppl&r1=1.15&r2=1.16 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.32&r2=1.33 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.defs.hh.diff?cvsroot=ppl&r1=1.23&r2=1.24 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.templates.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cvsroot=ppl&r1=1.17&r2=1.18 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Certificate.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Status.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsroot=ppl&r1=1.12&r2=1.13 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&r1=1.14&r2=1.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.35&r2=1.36 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&r1=1.27&r2=1.28 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroot=ppl&r1=1.33&r2=1.34 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?cvsroot=ppl&r1=1.22&r2=1.23 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.27&r2=1.28 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.93&r2=1.94 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.templates.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.idefs.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.inlines.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ph_Status.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.templates.hh.diff?cvsroot=ppl&r1=1.5&r2=1.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh.diff?cvsroot=ppl&r1=1.2&r2=1.3 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templates.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.66&r2=1.67 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.79&r2=1.80 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Powerset.defs.hh.diff?cvsroot=ppl&r1=1.27&r2=1.28 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc.diff?cvsroot=ppl&r1=1.9&r2=1.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&r1=1.31&r2=1.32 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&r1=1.53&r2=1.54 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.77&r2=1.78 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-ia32.inlines.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/mp_numeric_limits.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroot=ppl&r1=1.8&r2=1.9