CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: hill@cs.unipr.it 2006-12-06 08:46:11

Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 ppl_prolog_common.icc interfaces/Prolog/tests: pl_check.pl

Log message: In tests/pl_check.pl, spelling correction done that has already been done in the main branch. In ppl_prolog_common.icc, in interval_term(), the upper bound when unbounded has to be "pinf" and not "minf". In the ppl_prolog.icc code for get_bounding_box, we must cater specially for the empty box.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...