[PPL-devel] ppl ./NEWS ./README ./TODO doc/devref-browse.d ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2004-12-07 13:58:30

Modified files:
	.              : NEWS README TODO 
	doc            : devref-browse.doxyconf-latex.in 
	                 devref-print.doxyconf-latex.in 
	                 devref.doxyconf-html.in 
	src            : Linear_System.cc Linear_System.defs.hh 
	                 Linear_System.inlines.hh Makefile.am 
	                 Matrix.defs.hh 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            : Saturation_Matrix.cc Saturation_Matrix.defs.hh 
	                 Saturation_Matrix.inlines.hh 
	                 Saturation_Matrix.types.hh Saturation_Row.cc 
	                 Saturation_Row.defs.hh 
	                 Saturation_Row.inlines.hh 
	                 Saturation_Row.types.hh 
Removed files:
	src            : AskTell.defs.hh AskTell.inlines.hh 
	                 AskTell.types.hh SatMatrix.cc SatMatrix.defs.hh 
	                 SatMatrix.inlines.hh SatMatrix.types.hh 
	                 SatRow.cc SatRow.defs.hh SatRow.inlines.hh 
	                 SatRow.types.hh 

Log message:
	The class SatRow has been renamed Saturation_Row.
	The class SatMatrix has been renamed Saturation_Matrix.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.132&r2=1.133
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.119&r2=1.120
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-latex.in.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.diff?cvsroot=ppl&r1=1.47&r2=1.48
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.defs.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.inlines.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Matrix.types.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.defs.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.inlines.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.types.hh?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.defs.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.inlines.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.85&r2=1.86
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.62&r2=1.63
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.254&r2=1.255
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.33&r2=1.34
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.63&r2=1.64
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&r1=1.38&r2=1.39
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&r1=1.40&r2=1.41
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/swapping_sort.icc.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsroot=ppl&r1=1.27&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.inlines.hh.diff?cvsroot=ppl&r1=1.23&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.types.hh.diff?cvsroot=ppl&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot=ppl&r1=1.34&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cvsroot=ppl&r1=1.38&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff?cvsroot=ppl&r1=1.26&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.types.hh.diff?cvsroot=ppl&r1=1.7&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=ppl&r1=1.30&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsroot=ppl&r1=1.36&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cvsroot=ppl&r1=1.30&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.types.hh.diff?cvsroot=ppl&r1=1.7&r2=NONE