[PPL-devel] [GIT] ppl/ppl(termination): Improved variable names.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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_ at CLASS@_termination_test_ at TERMINATION_ID@_code',
 `dnl
 int
 ppl_ at CLASS@_termination_test_ at TERMINATION_ID@
-(ppl_const_ at CLASS@_t x) try {
-  const @CPP_CLASS@& xx = *to_const(x);
-  return termination_test_ at TERMINATION_ID@(xx);
+(ppl_const_ at CLASS@_t pset) try {
+  const @CPP_CLASS@& ppset = *to_const(pset);
+  return termination_test_ at TERMINATION_ID@(ppset);
 }
 CATCH_ALL
 
@@ -1171,11 +1171,11 @@ CATCH_ALL
 m4_define(`ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@_code',
 `int
 ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@
-(ppl_const_ at CLASS@_t x,
+(ppl_const_ at 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_ at TERMINATION_ID@(xx, ppoint);
+  bool ok = one_affine_ranking_function_ at TERMINATION_ID@(ppset, ppoint);
   return ok ? 1 : 0;
 }
 CATCH_ALL
@@ -1185,10 +1185,10 @@ CATCH_ALL
 m4_define(`ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@_code',
 `int
 ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@
-(ppl_const_ at CLASS@_t x,
+(ppl_const_ at CLASS@_t pset,
  ppl_Polyhedron_t ph) try {
-  const @CPP_CLASS@& xx = *to_const(x);
-  all_affine_ranking_functions_ at TERMINATION_ID@(xx,
+  const @CPP_CLASS@& ppset = *to_const(pset);
+  all_affine_ranking_functions_ at 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_ at CLASS@_termination_test_ at TERMINATION_ID@_code',
 /*! \relates ppl_ at CLASS@_tag */
 int
 ppl_ at CLASS@_termination_test_ at TERMINATION_ID@
-PPL_PROTO((ppl_const_ at CLASS@_t x));
+PPL_PROTO((ppl_const_ at CLASS@_t pset));
 
 ')
 
@@ -48,7 +48,7 @@ m4_define(`ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@_code',
 /*! \relates ppl_ at CLASS@_tag */
 int
 ppl_ at CLASS@_one_affine_ranking_function_ at TERMINATION_ID@
-PPL_PROTO((ppl_const_ at CLASS@_t x,
+PPL_PROTO((ppl_const_ at CLASS@_t pset,
            ppl_Generator_t point));
 
 ')
@@ -58,7 +58,7 @@ m4_define(`ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@_code',
 /*! \relates ppl_ at CLASS@_tag */
 int
 ppl_ at CLASS@_all_affine_ranking_functions_ at TERMINATION_ID@
-PPL_PROTO((ppl_const_ at CLASS@_t x,
+PPL_PROTO((ppl_const_ at CLASS@_t pset,
            ppl_Polyhedron_t ph));
 
 ')