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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu May 21 09:32:39 2009 +0100

Added method frequency() to the Polyhedron and BD Shape domains.

This corresponds to the method frequency() already added to the Grid domain.

For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false.

---

src/BD_Shape.defs.hh | 33 ++++++ src/BD_Shape.templates.hh | 108 ++++++++++++++++++- src/Polyhedron.defs.hh | 33 ++++++ src/Polyhedron_public.cc | 87 +++++++++++++++ tests/BD_Shape/Makefile.am | 3 + tests/BD_Shape/frequency1.cc | 231 ++++++++++++++++++++++++++++++++++++++++ tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/frequency1.cc | 231 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 728 insertions(+), 1 deletions(-)

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