
CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-09-30 08:25:54
Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4
Log message: Re-enable the approximate_partition method. Correct the m4 generating code for linear_partition and approximate_partition so that the method is only generated when the appropriate powerset domain is in the instantiations..
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/parma_polyhedr...