[PPL-devel] [GIT] ppl/ppl(master): Added stubs for 7 and 8 argument predicates.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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,