[PPL-devel] [GIT] ppl/ppl(master): Method COW_Pointset::element() renamed pointset(). Comments improved.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May  4 23:13:44 2009 +0200

Method COW_Pointset::element() renamed pointset().  Comments improved.

---

 interfaces/C/ppl_interface_generator_c_cc_code.m4  |    4 +-
 ...ppl_interface_generator_java_classes_cc_code.m4 |    2 +-
 .../OCaml/ppl_interface_generator_ocaml_cc_code.m4 |    2 +-
 .../ppl_interface_generator_prolog_cc_code.m4      |    2 +-
 src/COW_Pointset.defs.hh                           |   39 +++---
 src/COW_Pointset.inlines.hh                        |   50 ++++----
 src/Pointset_Ask_Tell.cc                           |    8 +-
 src/Pointset_Ask_Tell.templates.hh                 |   38 +++---
 src/Pointset_Powerset.cc                           |   30 ++--
 src/Pointset_Powerset.templates.hh                 |  142 ++++++++++----------
 src/algorithms.hh                                  |    2 +-
 tests/Powerset/affinedimension1.cc                 |   16 +-
 tests/Powerset/affineimage1.cc                     |   12 +-
 tests/Powerset/affinepreimage1.cc                  |   12 +-
 tests/Powerset/difference1.cc                      |    4 +-
 tests/Powerset/disjunct1.cc                        |   20 ++--
 tests/Powerset/frombdshape1.cc                     |   24 ++--
 tests/Powerset/frombox1.cc                         |   24 ++--
 tests/Powerset/fromgrid1.cc                        |   24 ++--
 tests/Powerset/fromoctagonalshape1.cc              |   24 ++--
 tests/Powerset/frompolyhedron1.cc                  |   62 +++++-----
 tests/Powerset/refinewith1.cc                      |   10 +-
 tests/Powerset/simplifyusingcontext1.cc            |   18 ++--
 23 files changed, 285 insertions(+), 284 deletions(-)

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