[PPL-devel] [GIT] ppl/ppl(devel): Implemented the quick adjacency check in the conversion procedure.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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=55f9787ca9c51212ddcf34541d102a11652be9f9