CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2004-09-15 19:32:54 Modified files: src : BHRZ03_Certificate.cc ConSys.defs.hh GenSys.defs.hh H79_Certificate.cc Matrix.cc Polyhedra_Powerset.inlines.hh Polyhedron_widenings.cc tests : NNCminimize5.cc addconstraint1.cc addgenerator1.cc addgenerator2.cc addgenerator4.cc relations17.cc Log message: Try to be consistent in the choice of variable names. Patches: 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/ConSys.defs.hh.diff?cvsroo... 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/H79_Certificate.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inlines... 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/tests/NNCminimize5.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addconstraint1.cc.diff?c... 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/addgenerator4.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/relations17.cc.diff?cvsr...