[PPL-devel] ppl/interfaces ppl_interface_generator_common_ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-10-24 18:00:37

Modified files:
	interfaces     : ppl_interface_generator_common_dat.m4 
	interfaces/C   : ppl_interface_generator_c_dat.m4 
	interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 
	                   ppl_interface_generator_prolog_icc_code.m4 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_code.m4 
	                         ppl_interface_generator_predicate_check_extra_code 

Log message:
	In the ppl/interfaces:
	
	The @BOX@ replacement is now only used for building from a box
	(bounding_box or covering_box).
	
	The "get" or "shrink" bounding_box or covering_box" procedures, do not
	use any pattern. As the Grid has the same aruments as the Polyhedron
	for shrink_bounding_box, we can combine all the classes for this
	procedure into one schema. On the other hand, although the covering
	box is only available at present for the Grid domain, it is provided
	as a generic schema.
	
	The property "is_topologically_closed" is now enabled for BD_Shape and
	Octagons Prolog interfaces.
	Similarly the "topological_closure_assign" procedure is now enabled for
	BD_Shape and Octagons Prolog interfaces.
	
	Generic tests for all the properties using schema
	ppl_ at CLASS@_ at HAS_PROPERTY@ have been added.  Generic tests for
	ppl_ at CLASS@_ at SIMPLIFY@ have been added (for the domains under
	consideration, this is just the ."topological_closure_assign"
	procedure).
	
	The test data for the generic tests has again been reorganised and
	restructured making it easier to extend and maintain.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_dat.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_dat.m4.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_extra_code.diff?cvsroot=ppl&r1=1.10&r2=1.11