CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-09-16 13:53:42

Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_cc_files.m4 interfaces/Prolog/SICStus: sp_predicate_check.pl interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 src : Grid.inlines.hh Grid_public.cc

Log message: Moved method add_constraints() from Grid.inlines.hh to Grid_public.cc. Removed the bop_assign and bop_assign_and_minimize from the Prolog generated code and inlined the code. Enable upper_bound_assign method for the Pointset_Powerset domains in all the interfaces. Adapted the tests in the predicate_check generated test file so as to test correctly these changes.

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/Prolog/ppl_interfac... 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/SICStus/sp_p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo...