[PPL-devel] ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2003-03-03 17:45:53

Modified files:
	.              : NEWS 
	interfaces/C   : ppl_c.cc ppl_c.h 
	interfaces/Prolog: Prolog_interface.dox pl_check.pl 
	                   ppl_prolog.icc 
	interfaces/Prolog/Ciao: ppl_ciao.pl 
	interfaces/Prolog/GNU: ppl_gprolog.pl 
	interfaces/Prolog/SICStus: ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.H ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 
	src            : Determinate.defs.hh Determinate.inlines.hh 
	                 Polyhedron.cc Polyhedron.defs.hh 
	                 PowerSet.defs.hh PowerSet.inlines.hh 
	                 algorithms.hh 
	tests          : Makefile.am 
Added files:
	tests          : limitedbhrz03extrapolation1.cc 
	                 limitedh79extrapolation1.cc 
	                 limitedh79extrapolation2.cc 
	                 limitedh79extrapolation3.cc 
	                 limitedh79extrapolation4.cc 
Removed files:
	tests          : limitedbhrz03widening1.cc 
	                 limitedh79widening1.cc limitedh79widening2.cc 
	                 limitedh79widening3.cc limitedh79widening4.cc 

Log message:
	From now on, the name `widening' is reserved for operators that come
	with a convergence guarantee (i.e., with the ability of turning
	infinite chains to finite ones).  Upper bound operators without such a
	guarantee contain the word `extrapolation' in their name.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvsroot=ppl&r1=1.56&r2=1.57
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_interface.dox.diff?cvsroot=ppl&r1=1.75&r2=1.76
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.83&r2=1.84
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.pl.diff?cvsroot=ppl&r1=1.31&r2=1.32
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl.diff?cvsroot=ppl&r1=1.21&r2=1.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&r1=1.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&r1=1.59&r2=1.60
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.H.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.313&r2=1.314
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.191&r2=1.192
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?cvsroot=ppl&r1=1.29&r2=1.30
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03extrapolation1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation1.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation3.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79extrapolation4.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&r1=1.172&r2=1.173
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.cc.diff?cvsroot=ppl&r1=1.4&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening1.cc.diff?cvsroot=ppl&r1=1.5&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening2.cc.diff?cvsroot=ppl&r1=1.6&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening3.cc.diff?cvsroot=ppl&r1=1.3&r2=NONE
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedh79widening4.cc.diff?cvsroot=ppl&r1=1.3&r2=NONE