Module: ppl/ppl Branch: devel Commit: 55f9787ca9c51212ddcf34541d102a11652be9f9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=55f9787ca9c51...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 23 13:05:31 2015 +0100

Implemented the quick adjacency check in the conversion procedure.

The test allows for significant performce improvements on certain classes of polyhedra (e.g., hypercubes) in that it saves many saturation subset checks.

Added preprocessing flags to allow for enabling/disabling the new check (as well as the old quick non-adjacency check). Added new testcase tests/Polyhedron/hypercubes.cc that can be used for a performance comparison.

The efficiency benefits can also be appreciated when running the ppl_lcdd demo testsuite.

---

src/Polyhedron_conversion_templates.hh | 638 ++++++++++++++++++-------------- tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/hypercubes.cc | 35 ++ 3 files changed, 402 insertions(+), 274 deletions(-)

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