[PPL-devel] ppl ./NEWS interfaces/ppl_interface_generator_ ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-01-30 18:31:18

Modified files:
	.              : NEWS 
	interfaces     : 
	                 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/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 
	                  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 
	src            : Partially_Reduced_Product.inlines.hh 

Log message:
	Corrected a missing "+" in
	interfaces/ppl_interface_generator_common_procedure_generators.m4
	which caused some interface predicates not to be generated.
	
	Added add_constraint_and_minimize() and add_constraint_and_minimize()
	to the Partially_Reduced_Product domain.
	
	In the interfaces, the interface procedures for
	ppl_Grid_generalized_image_lhs_rhs/5 and
	ppl_Grid_generalized_preimage_lhs_rhs/5
	ppl_Grid_generalized_image/6 and
	ppl_Grid_generalized_preimage/6
	have been renamed as
	ppl_Grid_generalized_image_lhs_rhs_with_congruence/5
	ppl_Grid_generalized_preimage_lhs_rhs_with_congruence/5
	ppl_Grid_generalized_image_with_congruence/6
	ppl_Grid_generalized_preimage_with_congruence/6
	so as to allow for /4 and /5, resp., versions
	
	(This change also reported in "News").
	
	Tidied and commented the procedure list in
	interfaces/ppl_interface_generator_common_procedure_generators.m4
	so that where not "+all" domains are implemented in the interfaces,
	comments explain further.
	
	A few remaining procedures that can be enabled for products
	and/or powersets in the interfaces have been enabled.
	
	Added two "todo" procedures to the OCaml list of procedure generators.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.225&r2=1.226
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&r1=1.26&r2=1.27
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&r1=1.16&r2=1.17
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.42&r2=1.43
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.36&r2=1.37
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.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.24&r2=1.25
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_procedure_generators.m4.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.58&r2=1.59
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.67&r2=1.68
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.inlines.hh.diff?cvsroot=ppl&r1=1.18&r2=1.19