[PPL-devel] [GIT] ppl/ppl(master): Interfaced quasi_ranking procedures to C.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Mar 31 01:20:12 2010 +0200

Interfaced quasi_ranking procedures to C.

---

 interfaces/C/ppl_interface_generator_c_cc_code.m4 |   37 +++++++++++++++++++++
 interfaces/C/ppl_interface_generator_c_h_code.m4  |   23 +++++++++++++
 2 files changed, 60 insertions(+), 0 deletions(-)

diff --git a/interfaces/C/ppl_interface_generator_c_cc_code.m4 b/interfaces/C/ppl_interface_generator_c_cc_code.m4
index 7aa78e5..d0e6174 100644
--- a/interfaces/C/ppl_interface_generator_c_cc_code.m4
+++ b/interfaces/C/ppl_interface_generator_c_cc_code.m4
@@ -1325,6 +1325,43 @@ CATCH_ALL
 
 ')
 
+m4_define(`ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _code',
+`int
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS@
+(ppl_const_ at CLASS@_t pset,
+ ppl_Polyhedron_t ph_decreasing,
+ ppl_Polyhedron_t ph_bounded) try {
+  const @TOPOLOGY@@CPP_CLASS@& ppset
+    = *static_cast<const @TOPOLOGY@@CPP_CLASS@*>(to_const(pset));
+  all_affine_quasi_ranking_functions_MS(ppset,
+    *static_cast<C_Polyhedron*>(to_nonconst(ph_decreasing)),
+    *static_cast<C_Polyhedron*>(to_nonconst(ph_bounded)));
+  return 0;
+}
+CATCH_ALL
+
+')
+
+m4_define(`ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2_code',
+`int
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2
+(ppl_const_ at CLASS@_t pset_before,
+ ppl_const_ at CLASS@_t pset_after,
+ ppl_Polyhedron_t ph_decreasing,
+ ppl_Polyhedron_t ph_bounded) try {
+  const @TOPOLOGY@@CPP_CLASS@& ppset_before
+    = *static_cast<const @TOPOLOGY@@CPP_CLASS@*>(to_const(pset_before));
+  const @TOPOLOGY@@CPP_CLASS@& ppset_after
+    = *static_cast<const @TOPOLOGY@@CPP_CLASS@*>(to_const(pset_after));
+  all_affine_quasi_ranking_functions_MS_2(ppset_before, ppset_after,
+    *static_cast<C_Polyhedron*>(to_nonconst(ph_decreasing)),
+    *static_cast<C_Polyhedron*>(to_nonconst(ph_bounded)));
+  return 0;
+}
+CATCH_ALL
+
+')
+
 m4_define(`ppl_ at CLASS@_wrap_assign_code',
 `int
 ppl_ at CLASS@_wrap_assign
diff --git a/interfaces/C/ppl_interface_generator_c_h_code.m4 b/interfaces/C/ppl_interface_generator_c_h_code.m4
index 4d9f379..6eadb9e 100644
--- a/interfaces/C/ppl_interface_generator_c_h_code.m4
+++ b/interfaces/C/ppl_interface_generator_c_h_code.m4
@@ -94,6 +94,29 @@ PPL_PROTO((ppl_const_ at CLASS@_t pset_before,
 
 ')
 
+m4_define(`ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _code',
+`dnl
+/*! \relates ppl_ at CLASS@_tag */
+int
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS@
+PPL_PROTO((ppl_const_ at CLASS@_t pset,
+           ppl_Polyhedron_t ph_decreasing,
+           ppl_Polyhedron_t ph_bounded));
+
+')
+
+m4_define(`ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2_code',
+`dnl
+/*! \relates ppl_ at CLASS@_tag */
+int
+ppl_all_affine_quasi_ranking_functions_MS_ at TOPOLOGY@@CLASS at _2
+PPL_PROTO((ppl_const_ at CLASS@_t pset_before,
+           ppl_const_ at CLASS@_t pset_after,
+           ppl_Polyhedron_t ph_decreasing,
+           ppl_Polyhedron_t ph_bounded));
+
+')
+
 m4_define(`ppl_ at CLASS@_linear_ at PARTITION@_code',
 `dnl
 /*! \relates ppl_ at CLASS@_tag */