[PPL-devel] [GIT] ppl/ppl(products): Added method frequency() to the Polyhedron and BD Shape domains.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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=e13382fd6d7a7f31b23d3b1b377a04043be11780