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

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-09-29 09:11:59

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	interfaces/Java/jni: ppl_java_common.cc ppl_java_common.defs.hh 
	                     ppl_java_globals.cc 
	interfaces/Java/parma_polyhedra_library: MIP_Problem.java 
	                                         Makefile.am 
	interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 
	                  ppl_ocaml_common.cc ppl_ocaml_globals.ml 
	                  ppl_ocaml_types.ml 
	interfaces/OCaml/tests: test1.ml 
	interfaces/Prolog: 
	                   ppl_interface_generator_prolog_procedure_generators.m4 
	                   ppl_prolog_common.cc 
	                   ppl_prolog_common.defs.hh 
	interfaces/Prolog/Ciao: ciao_pl_check.pl 
	interfaces/Prolog/XSB: xsb_pl_check.P 
	interfaces/Prolog/tests: pl_check.pl 
Added files:
	interfaces/Java/parma_polyhedra_library: 
	                                         Control_Parameter_Name.java 
	                                         Control_Parameter_Value.java 

Log message:
	The new methods for MIP_Problem for the control_parameters
	now added to the Java, OCaml and Prolog interfaces.
	
	Tests for these methods for the OCaml and Prolog interfaces added.
	
	Added a new macro to ppl_interface_generator_common.m4
	that finds the difference of two sequences - as yet unused.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.cc.diff?cvsroot=ppl&r1=1.45&r2=1.46
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.defs.hh.diff?cvsroot=ppl&r1=1.1&r2=1.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_globals.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Control_Parameter_Name.java?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Control_Parameter_Value.java?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/MIP_Problem.java.diff?cvsroot=ppl&r1=1.2&r2=1.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/Makefile.am.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli.m4.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_common.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_globals.ml.diff?cvsroot=ppl&r1=1.11&r2=1.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_types.ml.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.ml.diff?cvsroot=ppl&r1=1.13&r2=1.14
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.cc.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_common.defs.hh.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl_check.pl.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_check.P.diff?cvsroot=ppl&r1=1.34&r2=1.35
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.57&r2=1.58