CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-09-25 00:08:20
Modified files: interfaces : ppl_interface_generator_common_dat.m4 ppl_interface_generator_common_procedure_generators.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4
Log message: Disable all the "and_minimize" methods in all the interfaces. Ensure that linear_partition method is only used if the Pointset_Powerset<NNC_Polyhedron> is one of the instantiations. Add the OCaml code for "approximate_partition" in the Grid domain. Note that tests for both linear_partition and approximate_partition still to be added.
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/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...