[PPL-devel] [GIT] ppl/ppl(master): No longer use CS and PS as template parameter names.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat May  2 20:53:47 2009 +0200

No longer use CS and PS as template parameter names.

---

 src/Determinate.defs.hh            |   40 ++--
 src/Determinate.inlines.hh         |  168 +++++++++---------
 src/Determinate.types.hh           |    2 +-
 src/Pointset_Ask_Tell.defs.hh      |   22 ++--
 src/Pointset_Ask_Tell.inlines.hh   |  100 ++++++-----
 src/Pointset_Ask_Tell.templates.hh |   76 ++++----
 src/Pointset_Ask_Tell.types.hh     |    2 +-
 src/Pointset_Powerset.defs.hh      |   46 +++---
 src/Pointset_Powerset.inlines.hh   |  148 ++++++++--------
 src/Pointset_Powerset.templates.hh |  340 ++++++++++++++++++------------------
 src/Pointset_Powerset.types.hh     |    2 +-
 src/Widening_Function.defs.hh      |   34 ++--
 src/Widening_Function.inlines.hh   |   40 ++--
 src/Widening_Function.types.hh     |    4 +-
 src/wrap_assign.hh                 |   22 ++--
 15 files changed, 525 insertions(+), 521 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=9a08d1d3a98ca1af8ff0cb94017888528c6875a7