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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Wed Mar 10 15:08:47 2010 +0000

Improved variable names.

---

interfaces/C/ppl_interface_generator_c_cc_code.m4 | 18 +++++++++--------- interfaces/C/ppl_interface_generator_c_h_code.m4 | 6 +++--- 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/interfaces/C/ppl_interface_generator_c_cc_code.m4 b/interfaces/C/ppl_interface_generator_c_cc_code.m4 index c6fbd79..738f80b 100644 --- a/interfaces/C/ppl_interface_generator_c_cc_code.m4 +++ b/interfaces/C/ppl_interface_generator_c_cc_code.m4 @@ -1160,9 +1160,9 @@ m4_define(`ppl_@CLASS@_termination_test_@TERMINATION_ID@_code', `dnl int ppl_@CLASS@_termination_test_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x) try { - const @CPP_CLASS@& xx = *to_const(x); - return termination_test_@TERMINATION_ID@(xx); +(ppl_const_@CLASS@_t pset) try { + const @CPP_CLASS@& ppset = *to_const(pset); + return termination_test_@TERMINATION_ID@(ppset); } CATCH_ALL

@@ -1171,11 +1171,11 @@ CATCH_ALL m4_define(`ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@_code', `int ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x, +(ppl_const_@CLASS@_t pset, ppl_Generator_t point) try { - const @CPP_CLASS@& xx = *to_const(x); + const @CPP_CLASS@& ppset = *to_const(pset); Generator& ppoint = *to_nonconst(point); - bool ok = one_affine_ranking_function_@TERMINATION_ID@(xx, ppoint); + bool ok = one_affine_ranking_function_@TERMINATION_ID@(ppset, ppoint); return ok ? 1 : 0; } CATCH_ALL @@ -1185,10 +1185,10 @@ CATCH_ALL m4_define(`ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@_code', `int ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@ -(ppl_const_@CLASS@_t x, +(ppl_const_@CLASS@_t pset, ppl_Polyhedron_t ph) try { - const @CPP_CLASS@& xx = *to_const(x); - all_affine_ranking_functions_@TERMINATION_ID@(xx, + const @CPP_CLASS@& ppset = *to_const(pset); + all_affine_ranking_functions_@TERMINATION_ID@(ppset, *static_cast<C_Polyhedron*> (to_nonconst(ph))); return 0; diff --git a/interfaces/C/ppl_interface_generator_c_h_code.m4 b/interfaces/C/ppl_interface_generator_c_h_code.m4 index 2a1ecdd..cc96ffc 100644 --- a/interfaces/C/ppl_interface_generator_c_h_code.m4 +++ b/interfaces/C/ppl_interface_generator_c_h_code.m4 @@ -39,7 +39,7 @@ m4_define(`ppl_@CLASS@_termination_test_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_termination_test_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x)); +PPL_PROTO((ppl_const_@CLASS@_t pset));

')

@@ -48,7 +48,7 @@ m4_define(`ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_one_affine_ranking_function_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x, +PPL_PROTO((ppl_const_@CLASS@_t pset, ppl_Generator_t point));

') @@ -58,7 +58,7 @@ m4_define(`ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@_code', /*! \relates ppl_@CLASS@_tag */ int ppl_@CLASS@_all_affine_ranking_functions_@TERMINATION_ID@ -PPL_PROTO((ppl_const_@CLASS@_t x, +PPL_PROTO((ppl_const_@CLASS@_t pset, ppl_Polyhedron_t ph));

')