Module: ppl/ppl Branch: master Commit: f3fd35ffe6f33237228814dcb33ad46a4c7ffdf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3fd35ffe6f33...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 24 07:00:40 2010 +0000

Added stubs for 7 and 8 argument predicates. Missing predicate names added for pl_check test.

---

.../Prolog/XSB/ppl_interface_generator_xsb_cc.m4 | 27 ++++++++++++++++++++ interfaces/Prolog/XSB/xsb_pl_check.P | 2 + 2 files changed, 29 insertions(+), 0 deletions(-)

diff --git a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 index 74d0fe2..8202bb2 100644 --- a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 +++ b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_cc.m4 @@ -97,6 +97,33 @@ name() { \ return xsb_stub_##name(arg1, arg2, arg3, arg4, arg5, arg6); \ }

+#define XSB_ENTRY_7(name) \ +extern "C" Prolog_foreign_return_type \ +name() { \ + Prolog_term_ref arg1 = reg_term(1); \ + Prolog_term_ref arg2 = reg_term(2); \ + Prolog_term_ref arg3 = reg_term(3); \ + Prolog_term_ref arg4 = reg_term(4); \ + Prolog_term_ref arg5 = reg_term(5); \ + Prolog_term_ref arg6 = reg_term(6); \ + Prolog_term_ref arg7 = reg_term(7); \ + return xsb_stub_##name(arg1, arg2, arg3, arg4, arg5, arg6, arg7); \ +} + +#define XSB_ENTRY_8(name) \ +extern "C" Prolog_foreign_return_type \ +name() { \ + Prolog_term_ref arg1 = reg_term(1); \ + Prolog_term_ref arg2 = reg_term(2); \ + Prolog_term_ref arg3 = reg_term(3); \ + Prolog_term_ref arg4 = reg_term(4); \ + Prolog_term_ref arg5 = reg_term(5); \ + Prolog_term_ref arg6 = reg_term(6); \ + Prolog_term_ref arg7 = reg_term(7); \ + Prolog_term_ref arg7 = reg_term(8); \ + return xsb_stub_##name(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8); \ +} + m4_divert(2)dnl

extern "C" void diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index 4ae27e9..2422033 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -124,6 +124,8 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_Polyhedron_constrains/2, ppl_Polyhedron_unconstrain_space_dimension/2, ppl_Polyhedron_unconstrain_space_dimensions/2, + ppl_termination_test_C_Polyhedron_MS/1, + ppl_termination_test_C_Polyhedron_PR/1, ppl_new_MIP_Problem_from_space_dimension/2, ppl_new_MIP_Problem/5, ppl_new_MIP_Problem_from_MIP_Problem/2,