CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_gen... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface... 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/tests/ppl_in...