CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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_gener... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_g... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedr... 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_ocaml_com... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_glo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_typ... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.m... 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/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_pl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...