[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 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_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.53&r2=1.54
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc_code.m4.diff?cvsroot=ppl&r1=1.43&r2=1.44
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_interface_generator_java_classes_java_code.m4.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.59&r2=1.60
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.68&r2=1.69
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.defs.hh.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.inlines.hh.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13