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

Author: Roberto Bagnara bagnara@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=9a08d1d3a...