[PPL-devel] ppl ./configure.ac demos/ppl_lcdd/ppl_lcdd.cc ...

[Abramo Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	abramo at cs.unipr.it	2004-12-17 18:20:41

Modified files:
	.              : configure.ac 
	demos/ppl_lcdd : ppl_lcdd.cc 
	interfaces/C   : ppl_c.cc 
	interfaces/Prolog: ppl_prolog.icc 
	interfaces/Prolog/Ciao: ppl_ciao.cc 
	interfaces/Prolog/GNU: ppl_gprolog_sd.cc 
	interfaces/Prolog/SICStus: ppl_sicstus_sd.cc 
	interfaces/Prolog/SWI: ppl_swiprolog.cc 
	interfaces/Prolog/XSB: ppl_xsb.cc 
	interfaces/Prolog/YAP: ppl_yap.cc 
	src            : Checked_Number.defs.hh 
	                 Checked_Number.inlines.hh Interval.inlines.hh 
	                 Polyhedron_nonpublic.cc checked.defs.hh 
	                 checked.inlines.hh checked_float.inlines.hh 
	                 checked_int.inlines.hh checked_mpq.inlines.hh 
	                 checked_mpz.inlines.hh 

Log message:
	Added rounding support to checked functions.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.114.2.13&r2=1.114.2.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.8&r2=1.18.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.104.2.6&r2=1.104.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.128.2.7&r2=1.128.2.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ciao.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.23.2.4&r2=1.23.2.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gprolog_sd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.20.2.3&r2=1.20.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_sicstus_sd.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.60.2.5&r2=1.60.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swiprolog.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.85.2.6&r2=1.85.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.51.2.5&r2=1.51.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.78.2.5&r2=1.78.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.13&r2=1.1.2.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.12.2.6&r2=1.12.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.18.2.9&r2=1.18.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.20&r2=1.1.2.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.13&r2=1.1.2.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.14&r2=1.1.2.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.21&r2=1.1.2.22
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.16&r2=1.1.2.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.19&r2=1.1.2.20