[PPL-devel] ppl/interfaces/Prolog ppl_interface_generator_ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	altnum
Changes by:	hill at 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_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.13.2.6&r2=1.13.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.icc.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.3&r2=1.3.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.5&r2=1.1.2.6