[PPL-devel] [GIT] ppl/ppl(master): Further steps in the definition of the interface of Affine_Space.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon May  4 15:17:21 2009 +0200

Further steps in the definition of the interface of Affine_Space.
The widening and extrapolation methods do nothing (except for
testing dimension-compatibility).  Several comments revised.

---

 src/Affine_Space.cc         |   62 ++++++++++--
 src/Affine_Space.defs.hh    |  235 +++++++++++++++++++++----------------------
 src/Affine_Space.inlines.hh |    5 +-
 3 files changed, 174 insertions(+), 128 deletions(-)

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