[PPL-devel] ppl interfaces/ppl_interface_generator_common_ ...
Patricia Hill
hill at cs.unipr.it
Tue Sep 16 13:53:42 CEST 2008
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at 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_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.79&r2=1.80
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_cc_files.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_predicate_check.pl.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&r1=1.80&r2=1.81
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsroot=ppl&r1=1.27&r2=1.28
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&r1=1.86&r2=1.87
More information about the PPL-devel
mailing list