CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-01-31 09:49:24

Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 interfaces/Java: ppl_interface_generator_java_procedure_generators.m4 interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Pointset_Powerset.inlines.hh

Log message: Added hash_code() to the pointset_powerset and partially_reduced_product domains. Enable this in the Java interface for all the domains. Also enable in the Java interface the string() method for all the domains, so as to include the product domains. Added methods for external/total_memory_in_bytes for all the domains and to all the interfaces. Existing tests for size() for prolog and java now use the MEMBYTES pattern instead so as to test all the replacements for MEMBYTES. These with the size() method (for the pointset_powerset domains) are all generated from a single "pattern" "MEMBYTES", defined in interfaces/ppl_interface_generator_common_dat.m4. Added methods for external/total_memory_in_bytes for all the domains and to all the interfaces. Existing tests for size() for prolog and java now use the MEMBYTES pattern instead so as to test all its replacements. These with the size() method (for the pointset_powerset domains) are all generated from a single "pattern" "MEMBYTES", defined in interfaces/ppl_interface_generator_common_dat.m4.

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/C/ppl_interface_gen... 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/Java/jni/ppl_interf... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_inte... 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/OCaml/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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines....