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

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-01-31 15:22:10

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	                 ppl_interface_generator_common_dat.m4 
	                 ppl_interface_generator_common_procedure_generators.m4 
	interfaces/C   : 
	                 ppl_interface_generator_c_procedure_generators.m4 
	interfaces/Java: 
	                 ppl_interface_generator_java_procedure_generators.m4 
	interfaces/OCaml: 
	                  ppl_interface_generator_ocaml_procedure_generators.m4 
	interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_code.m4 

Log message:
	Now allow the list of procedure names for generation to have an
	optional "\" before a group name "g" which is meant to be used only in
	conjunction with the powerset domain, and to mean -don't generate code
	if the powerset's disjunct is in "g"-.  This is needed to avoid
	generating linear_partition code when the disjunct is Grid and
	similarly approximate_partition code when the disjunct is C_ or
	NNC_Polyhedron.
	
	The Powerset of Grids in all the interfaces now compiles and
	the compiled code passes all the tests in Java and Prolog
	interfaces.
	
	Added to the todo lists in the procedure_generator m4 files
	for C, Java and Ocaml,
	the approximate_partition procedure for powersets of grids.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.54&r2=1.55
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_procedure_generators.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.60&r2=1.61
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.69&r2=1.70