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

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