[PPL-devel] [GIT] ppl/ppl(master): Added declarations and stub implementations for drop_some_non_integer_points ().

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May 18 08:16:34 2009 +0200

Added declarations and stub implementations for drop_some_non_integer_points().

---

 src/BD_Shape.defs.hh             |   29 +++++++++++++++++++++++++++++
 src/BD_Shape.inlines.hh          |   16 ++++++++++++++++
 src/BD_Shape.templates.hh        |   33 +++++++++++++++++++++------------
 src/Box.defs.hh                  |   29 +++++++++++++++++++++++++++++
 src/Box.templates.hh             |   27 +++++++++++++++++++++++++++
 src/Grid.defs.hh                 |   29 +++++++++++++++++++++++++++++
 src/Octagonal_Shape.defs.hh      |   29 +++++++++++++++++++++++++++++
 src/Octagonal_Shape.inlines.hh   |   16 ++++++++++++++++
 src/Octagonal_Shape.templates.hh |   38 ++++++++++++++++++++++++--------------
 src/Polyhedron.defs.hh           |   29 +++++++++++++++++++++++++++++
 10 files changed, 249 insertions(+), 26 deletions(-)

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