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

Author: Enea Zaffanella zaffanella@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_@TOPOLOGY@@CLASS@_code', +`int +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@ +(ppl_const_@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_@TOPOLOGY@@CLASS@_2_code', +`int +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2 +(ppl_const_@CLASS@_t pset_before, + ppl_const_@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_@CLASS@_wrap_assign_code', `int ppl_@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_@CLASS@_t pset_before,

')

+m4_define(`ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_code', +`dnl +/*! \relates ppl_@CLASS@_tag */ +int +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@ +PPL_PROTO((ppl_const_@CLASS@_t pset, + ppl_Polyhedron_t ph_decreasing, + ppl_Polyhedron_t ph_bounded)); + +') + +m4_define(`ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2_code', +`dnl +/*! \relates ppl_@CLASS@_tag */ +int +ppl_all_affine_quasi_ranking_functions_MS_@TOPOLOGY@@CLASS@_2 +PPL_PROTO((ppl_const_@CLASS@_t pset_before, + ppl_const_@CLASS@_t pset_after, + ppl_Polyhedron_t ph_decreasing, + ppl_Polyhedron_t ph_bounded)); + +') + m4_define(`ppl_@CLASS@_linear_@PARTITION@_code', `dnl /*! \relates ppl_@CLASS@_tag */